Skip to main content
Engineering LibreTexts

2.1.B Logical operators

  • Page ID
    9806
  • What we do with propositions is combine them with logical operators, also referred to as logical connectives. A logical operator can be applied to one or more propositions to produce a new proposition. The truth value of the new proposition is completely determined by the operator and by the truth values of the propositions to which it is applied. In English, logical operators are represented by words such as ‘and’, ‘or’, and ‘not’. For example, the proposition “I wanted to leave and I left” is formed from two simpler propositions joined by the word ‘and’. Adding the word ‘not’ to the proposition “I left” gives “I did not leave” (after a bit of necessary grammatical adjustment).

    But English is a little too rich for mathematical logic. When you read the sentence “I wanted to leave and I left”, you probably see a connotation of causality: I left because I wanted to leave. This implication does not follow from the logical combination of the truth values of the two propositions “I wanted to leave” and “I left”. Or consider the proposition “I wanted to leave but I did not leave”. Here, the word ‘but’ has the same

    logical meaning as the word ‘and’, but the connotation is very different. So, in mathematical logic, we use symbols to represent logical operators. These symbols do not carry any connotation beyond their defined logical meaning. The logical operators corresponding to the English words ‘and’, ‘or’, and ‘not’ are ∧, ∨, and ¬.

    Definition 2.1.

    Let and be propositions. Then ∨ q∧ q, and ¬are propositions, whose truth values are given by the rules:

    • pis true when both is true and is true, and in no other case.
    • pis true  when either is true, or is true, or both p and q are true, and in no other case.
    • ¬is true when is false, and in no other case.

    The operators ∧, ∨, and ¬ are referred to as conjunction, disjunction, and negation, respectively. (Note that pis read as ‘and q’, pis read as ‘or q’, and ¬is read as ‘not p’.)

     

    Consider the statement “I am a CSE student or I am not a TPM student.” Taking to mean “I am a CSE student” and to mean “I am a TPM student”, you can write this as ∨ ¬q.