Mathematical Thinking

Introduction to mathematics

Mathematical language
  • Object a has property P.
  • Every object of type T has property P.
  • There is an object of type T having property P.
  • If statement A, then statement B.
Logical combinators

AND

  • ^ - wedge.
  • Conjunction.
  • Example: X ^ Y
  • X and Y are called conjuncts.

OR

  • V - disjunction
  • X V Y

NOT

  • Negation: ~ or ¬
  • Example: ¬(X)