Within propositional logic, the term conjunction is used in the following ways: (1) as a particular type of propositional statement that is the result of combining component propositions, and (2) as the logical operator "and" used to form a conjunctive statement.

Some background concerning propositional logic is necessary in order to develop a precise definition of conjunction. As stated above, conjunction is defined in terms of propositional statements. Within so-called classical "Aristotelian" logic, a proposition is defined as a linguistic formation used to communicate information within certain constraints. Those constraints are the "principle of the excluded middle," which states that a proposition must either be true or false, and the "principle of the excluded contradiction," which states that a proposition cannot be both true and false. It should be noted that the words proposition and statement are usually used interchangeably within propositional logic.

A further principle regarding propositions is that...