# Logical conjunction

As a conjunction ( Latin coniungere, connect ') is called in logic a particular combination of two statements or propositional functions. Read the conjunction of two propositions A and B usually as " A and B". In classical logic, the conjunction of two statements is exactly true if both linked statements are true.

Can be meant by the word Conjunction

- The associated statement as a whole ( the phrase " A and B")
- The concatenation character ( connective )
- The linking word "and"
- In the case of truth-functional conjunction lets the truth function "et" with which to determine the truth value of the linked statement " A and B" of the truth values of its subsets (A, B)

## The conjunction in the classical two-valued logic

In classical logic, the conjunction of two propositions A and B is only true if both A and B are true, and false if and only if at least one of the two statements A, B is false. This relationship is clearly shown in the truth table of the corresponding truth value function, the co - feature:

Common notations for the conjunction are, " A & B", " A ▪ B", " A ∩ B" ( Peano ) and "AB". In Polish notation, the conjunction is written as " Kab ".

A conjunction is itself a Boolean expression. In digital technology conjunctively linked variables are also called product term.

For the conjunction among other things, the following important laws are:

- Idempotency:
- Associative law:
- Commutative:
- De Morgan's rules:

In calculi of natural deduction can be used as inference rules for the conjunction of the Konjunktionseinführung and Konjunktionsbeseitigung. With the Konjunktionseinführung can be of two propositions A, B close to their conjunction; with the Konjunktionsbeseitigung can be inferred from the conjunction to each of the conjuncts A and B respectively.

## The conjunction in many-valued logics

When setting up a multivalued conjunction efforts are generally to maintain as many properties of the classical conjunction, in particular the associativity and commutativity. Thus, a multivalent conjunctions are defined axiomatically as follows:

Is a conjunction if:

- Commutativity:
- Associativity:
- Monotony:
- One element:

Other useful, but not necessary properties are continuity and idempotence.

In trivalent logics example, the following conjunctions have been identified:

## The logical conjunction and the word "and "

The natural language word "and" is not identical with the conjunction in the sense of logic. On one hand, the word "and " is not always used in the sense of logical conjunction. Examples:

- "And then"

- " And therefore"

On the other hand, the conjunction may also be expressed by other linguistic tools. example:

- "But"