Logische negatie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Regel 25:
¬''P'' is ''waar'' [[dan en slechts dan als]] ''P'' ''onwaar'' is.
Als bijvoorbeeld ''P'' stelt: "vandaag is het zaterdag", dan stelt zijn negatie ¬''P'': "vandaag is het
*In de [[klassieke logica]] is een dubbele negatie gelijk aan een bevestiging. De proposities ''P'' en ¬¬''P'' zijn logisch equivalent. Zie ook [[eliminatie van dubbele negatie]].
* In [[intuïtionistische logica]] is ¬¬''P'' echter een zwakkere stelling dan ''P''. Hoe dan ook zijn ¬¬¬''P'' en ¬''P'' logisch equivalent.
| |||