Zad
Sprawdź metodą dowolną i odpowiedz na pytania:
które z podanych wyrażeń to tautologie logiczne?
czy wśród poniższych funkcji zdaniowych znajdują się kontrtautologie logiczne?
które z poniższych funkcji zdaniowych są funkcjami spełnialnymi?
[(p→r) (q→r) (pq)] → r
[(p→q) q] → p
(p→q→ (q→p)
[(pq) q] → p
(pq) → (pq)
(pq) → (pq)
[(pq) (pq)] → q
[p → (q→r)][(p→q →r]
(pq) → [(pq) (pq)]
j) pp
1