Notes

Contingency in Discrete Mathematics [ English ]

< Prev Next >

1. Introduction to Contingency

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.

2. Definition of Contingency

A contingency is a compound proposition that is true for some truth values and false for others.

Formal Definition:

A proposition is called a contingency if it is neither always true nor always false.

3. Symbol and Representation

There is no specific symbol that represents contingency directly. Instead, a proposition is identified as a contingency by analyzing its truth table.

4. Truth Table of a Contingency

Consider the proposition:

p → q
p q p → q
True True True
True False False
False True True
False False True

Explanation:

5. Examples of Contingency

Example 1: Conditional Statement

p → q

✔ Not always true ✔ Not always false → Hence, a contingency

Example 2: Conjunction

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

Example 3: Disjunction

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

Example 4: Using Predicates

Let:

This is a predicate, not a proposition.

Assign values:

✔ Since truth varies with input, it behaves like a contingency after instantiation across values.

6. Contingency vs Tautology vs Contradiction

Type Description Example
Tautology Always true p ∨ ¬p
Contradiction Always false p ∧ ¬p
Contingency Sometimes true, sometimes false p → q

7. Identifying a Contingency

A proposition is a contingency if:

8. Importance of Contingency

(a) Logical Analysis

(b) Computer Science

(c) Mathematics

9. Key Observations

10. Summary

< Prev Next >