Logika, zadanie nr 884
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
anka2720 post贸w: 46 |  2013-01-21 12:44:03Ok :) 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: 1 2 3 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj