logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 1179

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

ania16177
postów: 49
2013-03-11 13:23:18

Podaj przyklady podstawień języka rachunku zdań nastepujacych tautologi:
a) $\neg(p\vee q)\iff(\neg p\wedge\neg q)$
b) $\neg(p\wedge q)\iff(\neg p\vee\neg q)$
c) $(p\Rightarrow q)\iff (\neg p \vee q)$
d) $(p\wedge q)\iff (q\wedge p)$
e) $(p\wedge (q\wedge r))\iff ((p\wedge q)\wedge r)$

strony: 1

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





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj