Logical Conjunction

A Logical Conjunction is a Binary Logical Relation/Propositional Sentence Operation that maps two Logical Statements to True iff both Logical Statements are True.

• AKA: ∧, And, Logical And.
• Context:
  • It is a Commutative Relation.
  • It is an Idempotent Relation.
  • It is an Associative Relation.
  • It is a Distributive Relation.
  • It is a Monotone Relation.
  • It has Truth Table.

    • A	B		A∧B
      T	T		T
      T	F		F
      F	T		F
      F	F		F

• Example(s):
  • ∧(X,Y)
  • X ∧ Y
• Counter-Example(s):
  • Logical Disjunction.
  • Logical Negation.
• See: Propositional Logic Formula, Conjunctive Normal Form.

---

---

References

2009

• (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Conjunction_(logic)
  • In logic and mathematics, logical conjunction or and is a two-place logical connective that has the value true if both of its operands are true, otherwise a value of false.
• http://www.uky.edu/~rosdatte/phi120/glossary.htm
  • conjunction: A complex proposition in which two propositions are asserted to both be true. An "and" statement.

---