Matematické Fórum

UnknownDeletedUser

-

Andrejka3 · 05. 11. 2015 09:29

↑ Dunemaster:
Ahoj.
A ten systém z úlohy je opravdu úplný?

Wotton · 19. 11. 2015 21:20

↑ Dunemaster:

já se ale taky obávám, že ten systém úplný není. Že je to jen systém vytvořený pro tento konkrétní příklad. Minimálně tan poslení axiom je hodně divný a neumím si představit, proč by byl volen zrvona takto divně (zvlášť když by v něm bylo pravdu dokazatelné $(\neg A\rightarrow A)\rightarrow A)$ ).

Klasicky uváděný Hilbertův kalkul má jako axiom A3:
$(\neg\varphi\rightarrow\neg\psi)\rightarrow((\neg\varphi\rightarrow\psi)\rightarrow\varphi)$

Wotton · 19. 11. 2015 21:22 — Editoval Wotton (19. 11. 2015 21:28)

Teď mě ještě napadlo, jestli to není kalkul pro Intuicionistickou logiku....

v tý ale (pokud se nepletu) $(\neg A\rightarrow A)\rightarrow A)$ není dokazatelné.

Matematické Fórum

#1 04. 11. 2015 18:01 — Editoval Dunemaster (06. 04. 2021 19:26)

-

#2 05. 11. 2015 09:29

Re: -

#3 05. 11. 2015 10:36 Příspěvek uživatele UnknownDeletedUser byl skryt uživatelem Dunemaster.

#4 19. 11. 2015 21:20

Re: -

#5 19. 11. 2015 21:22 — Editoval Wotton (19. 11. 2015 21:28)

Re: -

Zápatí