Logika, zadanie nr 2973

Autor	Zadanie / Rozwiązanie
cmdmaniek postów: 2	2015-01-05 11:59:42 Witam :) Czy ktoś potrafi wytłumaczyć, jak podane niżej formuł, udowodnić za pomocą metody dowodu nie wprost że są one tautologią ? <a href="http://www.pl.image-share.com" target="_blank"><img src="http://www.pl.image-share.com/upload/366/84.jpg" border="0" alt="free image hosting"></a> Z góry dzięki

cmdmaniek postów: 2	2015-01-05 12:03:14

abcdefgh postów: 1255	2015-01-05 14:43:49 a) metoda nie wprost $w[(p\wedge g ) \Rightarrow (q \Rightarrow p)]=0$ $\left\{\begin{matrix} w[(p\wedge g )]=1 \\ w[(q \Rightarrow p)]=0 \end{matrix}\right.$ $w(p\wedge g)=1$ $w(p)=1$ $w(q)=1$ $(q \Rightarrow p)]=0$ $w(q)=1$ $w(p)=0$ sprzecznośc, więc jest tautologią

abcdefgh postów: 1255	2015-01-05 14:59:21 b) $w[(p \wedge q)] \Rightarrow r ]=1$ $w[(p \Rightarrow q) \wedge (q \Rightarrow r)]=0$ $w[(p \wedge q)] \Rightarrow r ]=1$ 1.$w[(p \wedge q)] = 1$ $w(p)=1=w(q)$ $w(r)=1$ $w[(p \Rightarrow q)=1$ $(q \Rightarrow r)]=1$ sprzeczność 2. $w[(p \wedge q)] = 0$ $w(p)=1 =w(q)$ $w(r)=0$ $w[(p \Rightarrow q)=1$ $(q \Rightarrow r)]=0$ to nie jest tautologia Wiadomość była modyfikowana 2015-01-05 15:22:02 przez abcdefgh

abcdefgh postów: 1255	2015-01-05 16:00:03 c) tautologia d) tautologia e) tautologia

abcdefgh postów: 1255	2015-01-05 16:00:04 c) tautologia d) tautologia e) tautologia

strony: 1

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