ja zaprzeczyć zdaniu z tylko i tylko w tedy i jeżeli dragon : co wstawiamy w miejsce ⇒ i ⇔ w zaprzeczeniu zdania

Janek191: ~ ( p ⇒ q ) ⇔ p ∧ ∼ q

pigor: ..., (p ⇔ q) ⇔ (p ⇒ q) ⋀ (q ⇒ p) , więc negacja równoważności : ∼ (p ⇔ q) ⇔ ∼ ((p ⇒ q) c[⋀]] (q ⇒ p)) ⇔ ⇔ ∼ (p ⇒ q) v ∼(q ⇒ p)) ⇔ (p ⋀ ∼q) v (q ⋀ ∼p) . ...