Logika, zadanie nr 548

Autor	Zadanie / Rozwiązanie
abcdefgh postów: 1255	2012-10-16 19:58:30 Sprawdź czy wyrażenie jest jest tautologią metodą niewprost: $[~(p\Rightarrow q) \iff (p v \sim q)]$ w$[~(p\Rightarrow q) \iff (p v \sim q)]$=0 $\left\{\begin{matrix} w(\sim(p\Rightarrow q)]=1 \\ w(p v \sim q)=0 \end{matrix}\right.$ $\left\{\begin{matrix} w(p\Rightarrow q)=0 \\ w(pv\sim q)=0 \end{matrix}\right.$ $w(p\Rightarrow q)=0$ w(p)=1 w(~q)=0 sprzeczność $w(pv\sim q)=0$ w(p)=0 w(q)=1 tutaj brak sprzeczności

55555 postów: 60	2012-10-25 15:11:09 bo to wyrazenie nie jest tautologia, jak nie jestes pewna/pewny to sprawdz zawsze metoda tabelkowa

strony: 1

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