„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
tulajdonságok |
kvantorok tagadása |
||
37. sor:
Egy logikai művelet lineáris, ha minden operandusára teljesül, hogy mindig hatással van az eredményre, vagy sosincs hatással. A tagadás lineáris.
Az elsőrendű logikában van két kvantor, a <math>\forall</math> minden és az <math>\exists</math> létezik. Ezek között a tagadás összefüggést ad meg: <math>\neg \forall xP(x)\equiv\exists x\neg P(x)</math> illetve <math>\neg \exists xP(x)\equiv\forall x\neg P(x)</math>.
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.
|