Ex falso sequitur quod libet: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Luckas-bot (overleg | bijdragen)
JRB (overleg | bijdragen)
Geen bewerkingssamenvatting
Regel 2:
De regel is af te leiden uit de bewijsregel [[bewijs uit het ongerijmde|Reductio ad absurdum]], die in de [[propositielogica|klassieke propositielogica]] geldt. De regel moet in strikte zin zo gelezen worden dat uit een [[contradictie|contradictoire]] bewering, dus niet slechts een feitelijk onware, elke willekeurige uitspraak afgeleid kan worden. Een andere term voor deze redeneervorm is ''ex contradictione sequitur quodlibet'' ([[Latijn]]: ''uit een tegenspraak volgt om het even wat''), soms wordt het ook de ''onzinregel'' genoemd.
 
Een [[bewering (wiskunde)|bewering]] is contradictoir als een propositie en haar tegendeel dezelfde [[waarheidswaarde]] hebben, ofwel, de [[Propositielogica|uitspraak]] zowel waar én onwaar is. Dit wordt aangeduid met het symbool <math>\bot</math>. De [[redenering]] wordt dan ook opgeschreven als:
:<math>p \and \neg p \vdash q</math>
waarin ''q'' elke bewering (quodlibet) kan zijn.