logowanie

matematyka » forum » studia » zadanie

Logika, zadanie nr 548

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

Aneta
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





© 2017 Mariusz Śliwiński      o serwisie | kontakt online: 13 drukuj