Czy podane wyrażenia są prawami logicznymi? Prosiłbym o dokładnie rozpisanie dlaczego tak, ale dlaczego nie. Z tabelką.
a) [(~p) ∧ (~q)] => [~(p => q)
b) ~[(~p) v (~q)]< = > (p∧q)
c) ~[p∧(~q)] < = > [(~p) ∧q]
d) [~(p q)] < = > [(~p) v q] ∧ [(~q) v p]
" Life is not a problem to be solved but a reality to be experienced! "
© Copyright 2013 - 2024 KUDO.TIPS - All rights reserved.
~p = (~p)
Nie używam nawiasów ponieważ spójnik negacji jest najsilniej wiążącym spójnikiem.
^ - koniunkcja
a) tautologia
b) tautologia
c) nie tautologia
d) nie tautologia (dokładnie kontratautologia)