Ex falso sequitur quod libet: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Dode link verwijderd. |
consequent (gezien de overige tekst) spatie tussen quod en libet ingevoerd. |
||
Regel 7:
Een [[bewering (logica)|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 (
Een logisch systeem waarin ''ex falso sequitur quod libet'' geldt, behoort de volgende [[premisse (logica)|premisse]] te bevatten:
|