Zbadaj, które z podanych niżej schematów są tautologiami k.r.z.
- {p → (p ^ q)} → (¬ q → ¬ p)
- ¬ (p ^ q) ↔ (¬ p ^ ¬ q)
Zapisz następujące wyrażenie przy pomocy symboliki wprowadzonej w rachunku zdań, a następnie określ, czy jest ono tautologią klasycznego rachunku zdań.
„Jeśli umiesz tańczyć, to umiesz chodzić i jeśli umiesz chodzić, to umiesz leżeć, a zatem umiesz tańczyć lub umiesz chodzić.”
Sprawdź, czy ten schemat jest tautologią