Introduction to mathematics
- 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.
- ^ - wedge.
- Example: X ^ Y
- X and Y are called conjuncts.
- V - disjunction
- X V Y
- Negation: ~ or ¬
- Example: ¬(X)