Udowodnij tautologie Meow: Udowodnić tabelka tautologie [(p −> q) (r−>q) (s−>q)] −>[~(p^rs)vq] [(pvq) ( q −> ~p )] −> (p −> q ) Proszę o pomoc

Janek191: I przepisz poprawnie II też − brakuje funktorów Zamiast → pisz ⇒

Meow: [(p → q) ∧ (r →q) ∧ (s→q)] → [ ~ p ∧ r ∧ s) ∨ q ] drugie już mam a to jak?

Janek191: p q r s p⇒q r⇒q s⇒q ⋀ ∼p (∼p∧r∧s) ∨ q ⇒ 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 0 1 0 0 0 0 1 itd.

Meow: a jak sprawdzić że coś jest regułą logiczna?

Janek191: Janusz Onyszkiewicz: Elementy logiki i teorii mnogości w zadaniach s.15 Reguły wnioskowania.