Proposisionele logika: Verskil tussen weergawes

Content deleted Content added
EivindJ (besprekings | bydraes)
{{ongekategoriseerd}}
Tabel gekodeer, Kategorie:Taalkunde
Lyn 18:
Wat ons hier het, is 'n geldige argumentvorm: vir enige twee sinne in die plek van A en B kry ons 'n geldige argument. Ons kan die geldigheid toets met 'n waarheidstabel: stel "waar" voor met die syfer 1 en "onwaar" met 0; skryf dan al die moontlike kombinasies van die waarheid of onwaarheid van A en B neer; kyk vir elk van hierdie (vier) kombinasies wat die waarheid of onwaarheid van (1), (2) en (3) is; kontroleer of vir al daardie gevalle waar (1) en (2) beide waar is, (3) ook waar is; indien wel, dan is die argumentvorm geldig.
 
{| border="1"
 
|-
|A ||(3) B ||(1) A Ú B ||(2) ¬A
1 1 1 0
|-
1 0 1 0
0 |1 ||1 ||1 ||0
|-
0 0 0 1
|1 ||0 ||1 ||0
 
|-
|0 ||1 ||1 ||1
|-
|0 ||0 ||0 ||1
|}
 
Let op dat daar net een geval (een ry in die tabel) is waarin (1) en (2) beide waar is, naamlik die derde van die vier rye. In daardie geval is (3) ook waar, en ons het dus 'n geldige argument.
 
[[Kategorie:Taalkunde]]
{{ongekategoriseerd}}