Algebra, zadanie nr 40
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
kaliniak post贸w: 1 |  2010-10-20 20:36:48http://www18.zippyshare.com/v/82946531/file.html a). $p \vee (\negp)$ b). $p \iff \neg(\negp)$ c). $(p \Rightarrow q) \iff (\negq) \Rightarrow (\negp)$ d). $\neg(p \Rightarrow q) \iff p \wedge (\negq)$ e). $\neg(p \vee q) \iff (\negp) \wedge (\negq)$ f). $\neg(p \wedge q) \iff (\negp) \vee (\negq)$ d). $\neg[(p \Rightarrow q) \wedge (\negq)] \Rightarrow (\negp)$ h). $(p\vee q)\Rightarrow [p \wedge (\negq)]$ i). $[(p \Rightarrow q) \wedge (q \Rightarrow r)] \Rightarrow (p \Rightarrow r)$ j). $[(p \vee q) \iff r] \iff [(p \Rightarrow r)\wedge (q \Rightarrow r)]$ Prosz臋 o rozwi膮zanie zadania numer 2 je艣li to mo偶liwe... Zupe艂nie nie ogarniam tego wi臋c musz臋 si臋 zwr贸ci膰 do was o pomoc:) Wiadomo艣膰 by艂a modyfikowana 2010-10-21 11:54:01 przez Mariusz 艢liwi艅ski |
Mariusz 艢liwi艅ski post贸w: 489 | 2010-10-20 21:41:20 Tu masz teori臋 funktory Niekt贸re przyk艂ady masz na stronie prawa rachunku zda艅 pozosta艂e przyk艂ady rozwi膮偶臋 p贸藕niej. |
Mariusz 艢liwi艅ski post贸w: 489 | 2010-10-21 12:12:55 a). $p \vee (\negp)$ Zdanie $p \vee q $ uznajemy za prawdziwe, gdy co najmniej jedno ze zda艅 p, q jest prawdziwe. $1 \vee 0 = 1$ $0 \vee 1 = 1$ Zdanie jest tautologi膮 b). $p \iff \neg(\negp)$ $\neg(\negp)$jest to podw贸jne zaprzeczenie p co w rezultacie daj臋 t臋 sam膮 warto艣膰 p. $1 \iff 1 = 1 $ $0 \iff 0 = 1 $ Zdanie jest tautologi膮 cdn... Wiadomo艣膰 by艂a modyfikowana 2010-10-21 12:20:49 przez Mariusz 艢liwi艅ski |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj