Monday, 5 December 2011

Connectors in Mathematical logic

 We can make compound statements by connecting 2 or more simple statements .  The main connector that we use to make a compound statement are

  • Negation (NOT) ~
  • Conjunction (AND) ^
  • Disjunction (OR)
  • Conditional (if..then) ->
  • Bi conditional (if and only if (iff)) <->