In die eenvoudige argument en argumentvorm wat ons as voorbeeld gebruik het, kan mens onmiddellik, as't ware met een gedagtegreep, insien dat dit geldig is, dus dat die konklusie waar moet wees as die premisse waar is. By meer ingewikkelde argumente kan daar 'n groter begripsgaping wees tussen premisse en konklusie - 'n gaping wat ons volgens sekere reëls moet oorbrug met tussenstappe wat ons 'n bewys noem. 'n Voorbeeld:
(i) Andries of Bettie gaan; A Ú B.
(ii) As Andries of Chris gaan, dan gaan Bettie ook; (A Ú C) ® B.
(iii) Dus gaan Bettie; B.
Die logikus Kurt Gödel (1906-1978) het in 1930 bewys dat in die proposisie- en predikaatlogika (hieronder) daar vir elke geldige argument wel 'n bewys volgens die betrokke reëls opgestel kan word. Daarteenoor het die logikus Alonzo Church (1903-1995) in 1936 bewys dat daar vir die predikaatlogika geen algemene prosedure (en dus geen rekenaarprogram) bestaan om vir enige argument te beslis of dit geldig of ongeldig is nie.
Ontsluit van "http://af.wikipedia.org/w/index.php?title=Bewys&oldid=1117155"	Kategorie: Logika	Navigasie-keuseskerm