Logik
- Sluta utsagor (En Proposition, logiska konstanter)
  - "Earth is flat": False/0
  - "Om x² = 4, så är x = \pm 2": True/1
  - 
- Öpna utsagor (Logiska variablar): p, q, ...
- 

T0: för alla värden är det sant
- Pv!P
  |P|!P|Pv!P|
  |-|--|----|
  |0|1 |1   |
  |1|0 |1   |
F0: Falskt för alla värden
- P^!P
  |P|!P|P^!P|
  |-|--|----|
  |1|0 |0   |
  |0|1 |0   |