• Zad

Sprawdź metodą dowolną i odpowiedz na pytania:

1. które z podanych wyrażeń to tautologie logiczne?

2. czy wśród poniższych funkcji zdaniowych znajdują się kontrtautologie logiczne?

3. które z poniższych funkcji zdaniowych są funkcjami spełnialnymi?

1. [(p→r)  (q→r) (pq)] → r

2. [(p→q)  q] → p

3. (p→q→ (q→p)

4. [(pq)  q] → p

5. (pq) → (pq)

6. (pq) → (pq)

7. [(pq)  (pq)] → q

8. [p → (q→r)][(p→q →r]

9. (pq) → [(pq)  (pq)]

j) pp

1