Compound Propositions
when Propositions are combined with Connectives, to create new mathematical statements. also sometimes called formulae.
tautology
a formula that is always True
- p➝p and p∨¬p
contradiction
a formula that is always False
- p∧¬p
contingency
a formula that is neither True or False
- p➝q, p∨q and p∧q
satisfiable
a formula that is not a contradiction(a value exists for the propositions that make the formula True)