Concept

Logical conjunction

Summary
In logic, mathematics and linguistics, and (\wedge) is the truth-functional operator of conjunction or logical conjunction. The logical connective of this operator is typically represented as \wedge or & or K (prefix) or \times or \cdot in which \wedge is the most modern and widely used. The and of a set of operands is true if and only if all of its operands are true, i.e., A \land B is true if and only if A is true and B is true. An operand of a conjunction is a conjunct. Beyond logic, the term "conjunction" also refers to similar concepts in other fields:
  • In natural language, the denotation of expressions such as English "and";
  • In programming languages, the short-circuit and control structure;
  • In set theory, intersection.
  • In lattice theory, logical conjunction (greatest lower bound).
Notation And is usually denoted by an infix ope
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related publications

Loading

Related people

Loading

Related units

Loading

Related concepts

Loading

Related courses

Loading

Related lectures

Loading