Logic/Truth table and Logical operators

From Internet Web School

Revision as of UNIQ437770977d12c349-MathJax-2-QINU2
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Logic > Truth table and Logical operators

Contents

Overview

  • negation(¬) Notes:Representation of "¬α" is "not α".
  • conjunction(∧) Notes:Representation of "α∧β" is "α and β".
  • disjunction(∨) Notes:Representation of "α∨β" is "α or β".

Remarks:Using "or" in our conversation is different to logical "or". For example,"Do you take curry or spaghetti for lunch?". This conversation is means that "take curry but not take spaghetti" or "take spaghetti but not take curry". Usually , this conversation is not mean "take curry and spaghetti". Logical "or" is mean "take curry or spaghetti or both".

CAI Exercise

Personal tools
In other languages