What a proposition?
A proposition is a declarative sentence that is either true or false
How do you denote a conjunction of p and q?
p ∧ q
How do you denote a disjunction of p and q?
p ∨ q
What is the symbol for exclusive or?
⊕
What is the converse of p→q?
q→p
What is the contrapositive of p→q?
¬q→¬p
What is the inverse of p→q?
¬p→¬q
What is the biconditional of p and q?
p↔q
What is a tautology?
A proposition which is always true
What is a contradiction?
A proposition which is always false
What is a contingency?
Neither a tautology nor a contradiction
What is the precedence of logical operators?
Negation > Conjunction > Disjunction > Implication > Biconditional
What is the domination law?
p ∨ T ≡ T
What is the idempotent law?
p ∨ p ≡ p
What is the negation law?
p ∨ ¬p ≡ T
What is the absorption law?
p ∨ (p ∧ q) ≡ p
What is De Morgans law?
¬(p ∧q) ≡ ¬p ∨¬q
What are the De Morgans laws for quantifiers?
¬ (∀x. P(x)) ≡ ∃x. ¬P(x)
¬ (∃x. P(x)) ≡ ∀x. ¬P(x)
