In discrete mathematics, propositions are often classified based on their truth values across all possible cases. While some statements are always true (tautologies) and some are always false (contradictions), many statements fall in between. These are called contingencies.
A contingency represents a logical expression whose truth value depends on the values of its variables.
A contingency is a compound proposition that is true for some truth values and false for others.
A proposition is called a contingency if it is neither always true nor always false.
There is no specific symbol that represents contingency directly. Instead, a proposition is identified as a contingency by analyzing its truth table.
Consider the proposition:
p → q
| p | q | p → q |
|---|---|---|
| True | True | True |
| True | False | False |
| False | True | True |
| False | False | True |
p → q is a contingencyp → q
✔ Not always true ✔ Not always false → Hence, a contingency
p ∧ q
| p | q | p ∧ q |
|---|---|---|
| True | True | True |
| True | False | False |
| False | True | False |
| False | False | False |
✔ True in one case, false in others → Contingency
p ∨ q
| p | q | p ∨ q |
|---|---|---|
| True | True | True |
| True | False | True |
| False | True | True |
| False | False | False |
✔ True in some cases, false in one case → Contingency
Let:
p(x): x > 0This is a predicate, not a proposition.
Assign values:
x = 5 → Truex = -2 → False✔ Since truth varies with input, it behaves like a contingency after instantiation across values.
| Type | Description | Example |
|---|---|---|
| Tautology | Always true | p ∨ ¬p |
| Contradiction | Always false | p ∧ ¬p |
| Contingency | Sometimes true, sometimes false | p → q |
A proposition is a contingency if:
A contingency is a proposition that is sometimes true and sometimes false
It has mixed truth values in its truth table
Examples include:
p → qp ∧ qp ∨ qIt lies between: