Ex falso sequitur quod libet: verschil tussen versies

 

Een bewering is contradictoir als beide tegendelen bewering onwaar zijn, ofwel, zowel de uitspraak waar én onwaar is. Dit wordt aangeduid met het symbool <math>\bot</math>. De redenering wordt dan ook opgeschreven als:

waarin ''q'' elke bewering (quodlibet) kan zijn.

 

Een logisch systeem waarin ''ex falso sequitur quodlibet'' geldt, behoort de volgende premisse te bevatten:

:<math> \neg p \rightarrow (p \rightarrow q)</math>.

Dit laat zich lezen als: als ''p'' onwaar is, dan kan uit ''p'' alle ''q'' (quodlibet) worden afgeleid.