Conjunction (logic)
In logic, a conjunction is a proposition that contains two (or more) sub-statements linked by “and”.
Example:
It is raining and the sun is shining
Truth table
A conjunction is true exactly when both sub-statements are true.
| A | B | A ∧ B |
|---|---|---|
| true | true | true |
| true | false | false |
| false | true | false |
| false | false | false |
Colloquial Use
The way we are using the word “and” in common language is not always the same way as in logic. In everyday language, it can also express causal connections or temporal sequences. However, these are not conjunctions in the logical sense.
Logical symbol
In the context of this website, the ∧ symbol (pronounced “et”) is used as a sign for the conjunction. In other publications, & or ∩ are also used, among others.
See also
- Disjunction - “or”-statement
- Denying a conjunct - logical fallacy
More information
- Logical conjunction on Wikipedia