Logika, zadanie nr 884
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
tumor post贸w: 8070 |  2013-01-19 11:38:14Rozk艂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