Looginen päättely, konnektiivit, totuustaulukot.

_{t. Pete}

- 311 , 313 konnektiiveja
- 323 formalisointi
- 337a, 346, totuustaulukko
- 345 de Morganit
- 346 loogiset piirit ja totuustaulut