logika-prawa rachunku kkk: Posługujac sie znanymi prawami rachunku zdan, wyprowadzic nastepujace tautologie a) [(p ∧ q) ⇒ r] ⇔ [p ⇒ (q ⇒ r)] b) (p ⇒ q) ⇒ [(p ∧ r) ⇒ (q ∧ r)] c) [p ⇒ (q ⇒ r)] ⇒ [q ⇒ (p ⇒ r)] d) [(p ⋁ q) ∧ ~p] ⇒ q. kompletnie nie umiem tego zamieniać

kkk: a) udało mi się zrobić jak ktoś ma jakies pomysly na inne to chętnie się zainspiruje

ite: d) [(p ⋁ q) ∧ ~p] ⇒ q (p ∨ q) ∧ ~p ⇔ ⇔ /rozdzielność koniunkcji względem alternatywy/ (p ∧ ~p) ∨ (q ∧ ~p) ⇔ ⇔ /prawo sprzeczności/ 0 ∨ (q ∧ ~p) ⇔ q ∧ ~p ⇒ /reguła opuszczania implikacji/ q

ite: c) [p ⇒ (q ⇒ r)] ⇒ [q ⇒ (p ⇒ r)] prawo komutacji − tutaj zapisz obie implikacje w postaci alternatywy /prawo eliminacji implikacji/ − zastosuj prawo łączności alternatywy − wróć do zapisu z implikacją /prawo eliminacji implikacji/