Versie van 23 nov 2008 10:35 bewerken Lymantria (overleg \| bijdragen) Misbruikfilterredacteuren, moderatoren 125.109 bewerkingen constructivisme ← Oudere bewerking		Versie van 23 nov 2008 14:55 bewerken ongedaan maken Maurits (overleg \| bijdragen) 9.060 bewerkingen k typo Nieuwere bewerking →
Regel 1: '''Ex falso sequitur quodlibet''' ([[Latijn]]: ''uit het ongerijmde volgt om het even wat'') is een [[wiskundig bewijs\|bewijsregel]] uit de [[logica]]. In de klassieke termenlogica is de regel al te vinden, voor het eerst bij [[Aristoteles]]. Ook in recentere logische systemen zoals de propositielogica wordt deze regel nog steeds aangenomen, alhoewel er [[intuitionisme\|intuitionistische]] en andere [[~~constuctrivisme~~constructivisme (wiskunde)\|constructivistische]] stromingen zijn die het principe [[tertium non datur]] verwerpen en daarom ook de geldigheid van deze bewijsregel kunnen betwijfelen. 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 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'').

Ex falso sequitur quod libet: verschil tussen versies