Versie van 21 dec 2007 15:39 bewerken Simeon (overleg \| bijdragen) uitgebreid bevestigde gebruikers 35.712 bewerkingen k +link ← Oudere bewerking		Versie van 28 jan 2008 23:10 bewerken ongedaan maken DéRahier (overleg \| bijdragen) 28.170 bewerkingen k diakritische en andere typo's, Replaced: materiele → materiële met AWB Nieuwere bewerking →
Regel 29: * In [[intuïtionistische logica]] is ¬¬''P'' echter een zwakkere stelling dan ''P''. Hoe dan ook zijn ¬¬¬''P'' en ¬''P'' logisch equivalent. Negatie kan gedefinieerd worden in andere logische bewerkingsthermen. Zo kan ¬''P'' worden gedefinieerd als ''P'' → ''F'', waar → ~~materiele~~materiële implicatie is en ''F'' onwaar. Andersom kan ''F'' worden gedefinieerd als ''P'' &and; ¬''P'' voor iedere propositie ''P'', waarbij &and; de [[logische conjunctie]] is. Hierbij wordt ervan uitgegaan dat iedere tegenstelling onwaar is. Deze ideeën werken in de klassieke en intuïtionistische logica, maar niet in Braziliaanse logica, waarin tegenstellingen niet per definitie onwaar zijn. Maar in de klassieke logica krijgt het meer identiteit: ''P'' → ''Q'' kan gedefinieerd worden als ¬''P'' &or; ''Q'', waar &or; de [[logische disjunctie]] is. [[Categorie:Logica]]

Logische negatie: verschil tussen versies