Logika, zadanie nr 884
ostatnie wiadomości | regulamin | latex
Autor | Zadanie / Rozwiązanie |
anka2720 postów: 46 | 2013-01-21 12:44:03 Ok :) Wielkie dzięki :) |
anka2720 postów: 46 | 2013-01-24 14:31:51 Witam i chciałam prosić o pomoc w rozwiązaniu następującego zadania. Muszę teraz pokazać, że reguły Gentzena są wyprowadzalne przy użyciu aksjomatów Hilberta. Proszę o pomoc. Aksjomaty Hilberta: (A1)$\alpha\vdash\alpha$ (A2)$\vdash\alpha\rightarrow(\beta\rightarrow\alpha)$ (A3)$\vdash(\alpha\rightarrow(\beta\rightarrow\gamma))\rightarrow((\alpha\rightarrow\beta)\rightarrow(\alpha\rightarrow\gamma))$ (A4)$\vdash\neg\neg\alpha\rightarrow\alpha$ (A5)$\vdash(\alpha\wedge\beta)\rightarrow\neg(\alpha\rightarrow\neg\beta)$ (A6)$\vdash\neg(\alpha\rightarrow\neg\beta)\rightarrow(\alpha\wedge\beta)$ (A7)$\vdash(\alpha\vee\beta)\rightarrow(\neg\alpha\rightarrow\beta)$ (A8)$\vdash(\neg\alpha\rightarrow\beta)\rightarrow(\alpha\vee\beta)$ (A9)$\vdash(\alpha\iff\beta)\rightarrow((\alpha\rightarrow\beta)\wedge(\beta\rightarrow\alpha))$ (A10)$\vdash((\alpha\rightarrow\beta)\wedge(\beta\rightarrow\alpha))\rightarrow(\alpha\iff\beta)$ Reguła dowodzenia MP: $\frac{\delta\vdash\alpha\rightarrow\beta ; \delta\vdash\alpha}{\delta\vdash\beta}$ Wiadomość była modyfikowana 2013-01-27 15:11:01 przez anka2720 |
anka2720 postów: 46 | 2013-01-25 10:45:31 Jest ktoś w stanie mi w tym pomóc w rozwiązaniu tego zadania? Wiadomość była modyfikowana 2013-01-26 14:10:58 przez anka2720 |
anka2720 postów: 46 | 2013-02-01 22:30:40 Czy ktoś zna może jakiś sposób na wyprowadzenia reguł Gentzena? Proszę o pomoc.. |
anka2720 postów: 46 | 2013-05-24 17:16:02 Witam, Chciałam prosić żeby ktoś pomógł mi udowodnić następujące aksjomaty przy użyciu reguł Gentzena: 1. $(A\rightarrow B)\rightarrow((B\rightarrow C)\rightarrow(A\rightarrow C))$ 2. $(A\rightarrow(B\rightarrow C))\rightarrow(B\rightarrow(A\rightarrow C))$ 3. $(A\rightarrow\neg B)\rightarrow(B\rightarrow\neg A)$ |
strony: 12 3 |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj