logika ;/ beata: UDOWODNIJ METODA ZERO−JEDYNKOWA POWYZSZE TAUTOLOGIE (PRAWA LOGICZNE). zwiazek implikacji z alternatywa i negacja. (p⇒q)⇔(∼p⋁q) związek równowazności z implikacją (p⇔q) ⇔[(p⇒q) ⋀ (q⇒p) PRAWO PRZECHODNOŚCI DLA IMPLIKACJI [(p⇒q) ⋀ (q⇒r)]⇒(p⇒r) prawo transpozycji (p⇒q) ⇔ (∼q⇒∼p) prawo podwójnego zaprzeczenia ∼(∼p)⇔p prawa de'morgana ∼(p⋁q)⇔(∼p) ⋀ (∼q) ∼(p⋀q) ⇔ (∼p) ⋁ (∼q)

sushi_ gg6397228: robisz tabelke i wrzucasz po kolei kazde "wyrazenie"

Aga: Rozpiszę Ci pierwszy związek p q p⇒q ∼p ∼p⋁q (p⇒q)⇔(∼p⋁q) 1 1 1 0 1 1 0 0 1 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1