Lid : Login |Registratie |Uploaden kennis
Zoeken
Logisch, voorwaardelijk
1.Definitie
1.1.Waarheidstabel
1.2.Venn diagrammen
2.eigenschappen
3.Regels van gevolgtrekking
3.1.Biconditionele introductie
3.2.Biconditionale eliminatie [Wijziging ]
laat toe om een ​​conditionele af te leiden van een biconditional: als (A ↔ B) waar is, dan kan men één richting van de biconditional afleiden, (A → B) en (B → A).
Bijvoorbeeld, als het waar is dat ik adem als en alleen als ik leef, dan is het waar dat als ik adem, ik leef; evenzo is het waar dat als ik leef, ik ademhaal.
Formeel:

 (A ↔ B)
 ∴ (A → B)

ook

 (A ↔ B)
 ∴ (B → A)
4.Gebruik van spreektaal
[Uploaden Meer Inhoud ]


Auteursrecht @2018 Lxjkh