Logika, zadanie nr 884

Autor	Zadanie / Rozwiązanie
tumor postów: 8070	2013-01-19 11:38:14 Rozkładamy implikację $\neg(a\rightarrow \neg b) \vdash a \wedge b$ negację $\vdash a \wedge b,a\rightarrow \neg b$ potem implikację $a, \vdash a \wedge b, \neg b$ negację $a,b \vdash a \wedge b$ koniunkcję $a \vdash a ; b \vdash b$

anka2720 postów: 46	2013-01-19 11:55:58 dzięki :) I jeszcze, mam nadzieję, ostatnie pytanie: Co gdy pojawia się równoważność? Bo nie do końca wiem jak ją rozbić.. Np. $((\alpha\rightarrow\beta)\wedge(\beta\rightarrow\alpha))\rightarrow(\alpha\iff\beta)$ Nie wiem co z tą równoważnością...

tumor postów: 8070	2013-01-19 12:09:13 Pierwsze, co mi przychodzi do głowy, do właśnie ZDEFINIOWANIE równoważności jako tej koniunkcji $(a \rightarrow b) \wedge (b \rightarrow a)$ Ale wtedy zadanie miałoby niewielki sens. Na pierwszej stronie, do których podałem ostatnio linki, jest reguła dla równoważności. (R5). Spróbuj z nią.

anka2720 postów: 46	2013-01-19 12:58:27 Ok, bardzo dziękuję za pomoc!:)

anka2720 postów: 46	2013-01-21 10:32:12 Witam ponownie! Chciałam prosić o rozwiązanie takiego przykładu: $(\alpha\iff\beta)\rightarrow((\alpha\rightarrow\beta)\wedge(\beta\rightarrow\alpha))$

tumor postów: 8070	2013-01-21 10:44:45 Może lepiej teraz sama rozwiąż? Już wiesz, o co chodzi. Problem się pojawia tylko tam, gdzie mamy więcej gałęzi, bo trzeba się zastanawiać, co gdzie przenieść. Ale tak naprawdę nie trzeba. :) Popróbuj, napisz, co wyszło. A nie, że nie umiem i żeby ktoś zrobił :P

anka2720 postów: 46	2013-01-21 10:58:18 $(\alpha\iff\beta)\rightarrow((\alpha\rightarrow\beta)\wedge(\beta\rightarrow\alpha))$ $\alpha\iff\beta\|-(\alpha\rightarrow\beta)\wedge(\beta\rightarrow\alpha)$ $\alpha\iff\beta,\alpha\rightarrow\beta\|-\beta\rightarrow\alpha$ $\alpha\iff\beta,\alpha\rightarrow\beta,\beta\|-\alpha$ i nie wiem co dalej...

tumor postów: 8070	2013-01-21 11:32:49 znaczek $\vdash$ dostajemy poleceniem \vdash Dalej trzeba rozłożyć równoważność lub implikację. Może być równoważność. $a,b,a\rightarrow b, b \vdash a;a\rightarrow b, b \vdash a,a,b$ Dalej można rozkładać implikacje $a,b,b, b \vdash a;a,b, b \vdash a,a; b, b \vdash a,a,b;b \vdash a,a,b,a$

anka2720 postów: 46	2013-01-21 12:02:08 Dzięki :) Mógłbyś mi jeszcze napisać jak rozłożyłeś równoważność? Bo z tym mam problem...

tumor postów: 8070	2013-01-21 12:20:50 Reguła R5 i R5* ze strony, którą podałem. :) W ogóle zestawy reguł w zależności od źródła trochę się różnią. Powinnaś stosować takie, jakie gdzieś poznałaś na zajęciach albo jakie masz w literaturze do wykładu. ;)

strony: 1 2 3

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj