Symbole oznaczające zdania
zdanie prawdziwe: 
zdanie fałszywe: 
- spójnik negacji - nieprawda, że 
| |
 |
| 1 | 0 |
| 0 | 1 |
- koniunkcja - i 
| |
|
 |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 0 |
- alternatywa - lub
| |
|
 |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 0 |
- spójnik implikacji - jeżeli to ( - poprzednik implikacji, - następnik implikacji)
| |
|
 |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
- równoważność - wtedy i tylko wtedy gdy
| |
|
 |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 1 |