Lid : Login |Registratie |Uploaden kennis
Zoeken
Logisch, voorwaardelijk
1.Definitie
1.1.Waarheidstabel [Wijziging ]
De waarheidstafel voor
  ~ A \ leftrightarrow B}
  
 (ook geschreven als A ≡ B, A = B of A EQ B) is als volgt:


Meer dan twee verklaringen gecombineerd door
  ~ \ leftrightarrow ~}
  
 zijn dubbelzinnig:

  ~ x_ {1} \ leftrightarrow x_ {2} \ leftrightarrow x_ {3} \ leftrightarrow ... \ leftrightarrow x_ {n}}
  
 kan worden bedoeld als
  ~ (((x_ {1} \ leftrightarrow x_ {2}) \ leftrightarrow x_ {3}) \ leftrightarrow ...) \ leftrightarrow x_ {n}}
  
,
of kan worden gebruikt om dat allemaal te zeggen
  ~ x_ {i} ~}
  
 zijn samen waar of samen onwaar:
  (~ x_ {1} \ land ... \ land x_ {n} ~) ~ \ lor ~ (\ neg x_ {1} \ land ... \ land \ neg x_ {n})}
  

Alleen voor nul of twee argumenten is dit hetzelfde.
De volgende waarheidstabellen tonen hetzelfde bitpatroon alleen in de regel zonder argument en in de regels met twee argumenten:



Het linker Venn-diagram hieronder en de lijnen (AB) in deze matrices vertegenwoordigen dezelfde bewerking.
1.2.Venn diagrammen
2.eigenschappen
3.Regels van gevolgtrekking
3.1.Biconditionele introductie
3.2.Biconditionale eliminatie
4.Gebruik van spreektaal
[Uploaden Meer Inhoud ]


Auteursrecht @2018 Lxjkh