Logika, zadanie nr 2813
ostatnie wiadomości | regulamin | latex
Autor | Zadanie / Rozwiązanie |
lin236 postów: 2 | 2014-11-16 17:59:08 Wyprowadzanie w Hilbertowskim systemie dowodzenia sekwentów: Proszę o sprawdzenie a i pomoc w reszcie a)$\vdash$$\perp$$\Rightarrow$p $\Delta$={$\perp$,$\neg$p} $\Delta\vdash$;$\perp$ {aksjomat AO} {$\perp$,$\neg\vdash$p}$\perp$ $\perp\vdash$$\neg$p$\Rightarrow$$\perp$ $\perp\vdash$$\neg\neg$p, $\perp\vdash\neg\neg p\Rightarrow p$ {A3} -------------------------- MP $\perp\vdash p$ ---------- Tw.o dedukcji ---------- $\vdash\perp\Rightarrow p$ b) $\vdash(\neg p\Rightarrow\neg q)\Rightarrow(q\Rightarrow p)$ $\Delta=\neg p\Rightarrow\neg q, \neg (q\Rightarrow p)$ $\Delta\vdash\neg p\Rightarrow\neg q$ {A0} I tu nie wiem co dalej, jakiego aksjomatu i w jaki sposób użyć 2.Dowieść że aksjomat A3 jest równoważny do aksjomatu A3' A3 $\Delta\vdash\neg\neg\alpha\Rightarrow\alpha$ A3' $\Delta\vdash (\neg\alpha\Rightarrow\neg\beta)\Rightarrow((\neg\alpha\Rightarrow\beta)\Rightarrow\alpha )$ $\Delta={\Rightarrow\alpha\Rightarrow\neg\beta, \neg\alpha\Rightarrow\beta, \neg\alpha}$ $\Delta\vdash\neg\alpha\Rightarrow\neg\beta$ $\Delta\vdash\neg\alpha\Rightarrow\beta$ $\Delta\vdash\perp\Rightarrow\perp$ .............. 3. Dowieść używając twierdzenia o dedukcji$\vdash\neg p\Rightarrow(p\Rightarrow q)$ Bardzo proszę o pomoc, bardziej o wytłumaczenie niż całkowite rozwiązanie ;) Wiadomość była modyfikowana 2014-11-16 18:00:51 przez lin236 |
strony: 1 |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj