Lid : Login |Registratie |Uploaden kennis
Zoeken
Logisch, voorwaardelijk
1.Definitie
1.1.Waarheidstabel
1.2.Venn diagrammen
2.eigenschappen
3.Regels van gevolgtrekking [Wijziging ]
Zoals alle connectieven in de eerste-orde logica, heeft de biconditional regels van gevolgtrekking die het gebruik ervan in formele bewijzen beheersen.
3.1.Biconditionele introductie
3.2.Biconditionale eliminatie
4.Gebruik van spreektaal
[Uploaden Meer Inhoud ]


Auteursrecht @2018 Lxjkh