Introduction to Logic

Conjunction

A conjunction is a sequence of sentences separated by occurrences of the ∧ operator and enclosed in parentheses. For example, we can write the conjunction of p and q as (pq).

The constituent sentences of a conjunction are called conjuncts. For example, the conjuncts in the conjunction (pq) are p and q.

The truth value of a conjunction is true if and only if the truth value of its conjuncts are both true; otherwise, the truth value is false.

p q (pq)
1 1 1
1 0 0
0 1 0
0 0 0