Исказне формуле
Из пројекта Википедија
Нека је Var = {p1,...,pn,...} пребројив скуп исказних слова, 
логички везници, а 
и 
логичке константе.
[уреди] Дефиниција
- Исказна слова и логичке константе су исказне формуле
- Нека су A и B ознаке за исказне формуле. Тада су исказне формуле и
, 
, 
, 
и 
- Исказне формуле се добијају само коначном применом правила 1 и 2
[уреди] Договор о брисању заграда
- спољне заграде се бришу
- операција имају различит приоритет:
највећи, 
слабији, а 
најслабији
Пример: 
је исто што и 
