In discrete mathematics, complex logical statements are formed by combining simpler statements using logical operators. One of the most fundamental operators is conjunction, which models situations where multiple conditions must hold simultaneously.
Conjunction is essential in:
A conjunction is a compound proposition formed using the logical operator AND.
If p and q are propositions, then their conjunction is:
p ∧ q
The proposition p ∧ q is true if and only if both p and q are true. Otherwise, it is false.
Symbol: ∧
Read as:
| p | q | p ∧ q |
|---|---|---|
| True | True | True |
| True | False | False |
| False | True | False |
| False | False | False |
Let:
p: It is rainingq: It is coldThen:
p ∧ q
means: It is raining AND it is cold
✔ This is a proposition, since both p and q have definite truth values.
Let:
p(x): x > 0q(x): x < 10Then:
p(x) ∧ q(x)
⚠ This is not a proposition, because x is not specified.
It is a predicate (open sentence).
x = 5p(5): 5 > 0 → Trueq(5): 5 < 10 → Truep(5) ∧ q(5) → True ∧ True → True
✔ Now it is a proposition (True).
x = 12p(12): 12 > 0 → Trueq(12): 12 < 10 → Falsep(12) ∧ q(12) → True ∧ False → False
✔ Now it is a proposition (False).
Let:
p: 7 is even (False)q: 10 is even (True)p ∧ q → False ∧ True → False
✔ Since both are not true, the conjunction is false.
p ∧ q ≡ q ∧ p
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
p ∧ True ≡ p
p ∧ False ≡ False
p ∧ p ≡ p
p ∧ ¬p
This expression is always false and represents a contradiction.
Conjunction appears frequently in real-world reasoning:
In programming:
if (condition1 ∧ condition2)
p ∧ q