Can I read Logical Equivalences and Proofs on EtoBox?
Logical Equivalences and Proofs by izangel is a document available to read on EtoBox.
What is Logical Equivalences and Proofs about?
The document shows that: (a) p→q is equivalent to ~(p ∧ ~q), meaning p implies q is true if and only if it is not the case that p is true and q is false. (b) p↔q is equivalent to (p ∧ q) ∨ (~p ∧ ~q), meaning p if and only if q is true if and only if either both p and q are true or both are false. It then asks to determine if three pairs of propositions P and Q are equivalent, proving or disproving the determination.
- Author
- izangel
- Language
- EN