====== Conjunction ======

In [[logic:index|logic]], a conjunction is a [[glossary:proposition|proposition]] that contains two (or more) sub-statements linked by "and".

Example:

> It is raining //and// the sun is shining

<aside float-right>
<figure>
{{ :logic:glossary:conjunction.svg|Conjunction Venn-diagram}}
<figcaption>Venn-diagram: conjunction <span "A et B">A ∧ B</span></figcaption>
</figure>
</aside>

===== Truth table =====

A //conjunction// is //true// exactly when both sub-statements are true.

^ A ^ B ^ <span "A et B">A ∧ B</span> ^
| 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 <span "et">''∧''</span> symbol (pronounced "et") is used as a sign for the conjunction. In other publications, <span "Ampersand">''&''</span> or <span "Interjection">''∩''</span> are also used, among others.

===== See also =====

  * [[glossary:disjunction|Disjunction]] - "or"-statement
  * [[logic:formal_fallacies:denying_a_conjunct|Denying a conjunct]] - logical fallacy

===== More information =====

  * [[wp>Logical conjunction]] on //Wikipedia//

{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}