„Negáció” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
halmazelméleti megfgelelő |
intuicionnista logika |
||
28. sor:
* Egy <math>P\vee\neg P</math> alakú kifejezés azonosan igaz (kizárt harmadik elve)
* Egy <math>P\wedge\neg P</math> alakú kifejezés azonosan hamis (ellentmondás elve)
Az [[intuicionista logika|intuicionista logikában]] egy állítás implikálja a kettős tagadását, de az ellenkező irány nem érvényes. Ez fontos különbség a klasszikus és az intuicionista logika között. Viszont az intuicionista logika is tudja, hogy <math>\neg \neg \neg P \equiv \neg P</math>. Továbbá egy állítás klasszikusan bizonyítható, ha kettős tagadása intuicionista úton bizonyítható. Ez Glivenko tétele.
A háromértékű logikában két tagadás van: a gyenge és az erős. A kettő abban különbözik, hogy az erős tagadás megőrzi a preszuppozíciókat.
| |||