# 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)