Week 1 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)