Wet van de uitgesloten derde: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
ButkoBot (overleg | bijdragen)
kGeen bewerkingssamenvatting
Regel 3:
Het al dan niet volgen van de wet van de uitgesloten derde heeft aanzienlijke implicaties voor de acceptatie van bepaalde bewijzen, met name [[Reductio ad absurdum|bewijzen uit het ongerijmde]].
 
De wet is [[equivalentie|equivalent]] aan de regel van [[Eliminatie van dubbele negatie|dubbele negatie]]-eliminatie]] in de [[natuurlijke deductie]]. Volgens deze regel kan uit een uitspraak van de vorm <math>\lnot\lnot\alpha</math> ('niet niet <math>\alpha</math>') de uitspraak <math>\alpha</math> worden afgeleid.
 
Wanneer de wet verkeerd toegepast wordt, kan dit leiden tot de [[drogreden]] van het [[vals dilemma|valse dilemma]].