Praphot, for example, that the same equivalence should be aware of are as follows:P ∧ p ∧ q q the equivalenceP ∨ p ∨ q q the equivalence(P ∧ q) ∧ r equivalence with the p ∧ (q ∧ r)(P ∨ q) ∨ r equivalence with p ∨ (q ∨ r)P ∧ (q ∨ r) equivalence with (p ∧ q) ∨ (p ∧ r)P ∨ (q ∧ r) equivalence with (p ∨ q) ∧ (p ∨ r)P → q with q ∨ p ~ equivalenceP → q → ~ p ~ q on equivalence.Q ⇔ p equivalence to (p → q) ∧ (q → p)
การแปล กรุณารอสักครู่..
