Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

First of all, I have never studied Logic seriously before. I am reading this article on Wikipedia. The definition is the following:

Logical conjunction is an operation on two logical values, typically the values of two propositions, that produces a value of true if and only if both of its operands are true.

I would like to know the motivation for this definition. For example, I do not understand why if $A$ is false and $B$ is true, then $ A \wedge B$ is false.

share|cite|improve this question
up vote 3 down vote accepted

You should think of conjunction as "and". So $A \wedge B$ is true precisely when $A$ and $B$ are true. Similarly, disjunction is an "or" operator. So $A \vee B$ is true precisely when $A$ or $B$ is true.

share|cite|improve this answer

The result of $A$ and $B$ is true only when (if and only if) both $A$ and $B$ are true. If (at least) one of them is false, the result will be false too.

(Logical conjunction is just 'and' and the notation for it is the one you gave: $A\wedge B$.)

share|cite|improve this answer

Logical conjunction is more commonly (in some circles) referred to as "and." That is, $A\wedge B$ is true iff $A$ and $B$ are true. "And" implies both (not only one) are true.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.