Исказне формуле

Из пројекта Википедија

Нека је Var = {p1,...,pn,...} пребројив скуп исказних слова, \wedge,\vee,\Rightarrow,\Leftrightarrow,\neg логички везници, а \top и \bot логичке константе.

[уреди] Дефиниција

  1. Исказна слова и логичке константе су исказне формуле
  2. Нека су A и B ознаке за исказне формуле. Тада су исказне формуле и (A \wedge B), (A \vee B), (A \Rightarrow B), (A \Leftrightarrow B) и (\neg A)
  3. Исказне формуле се добијају само коначном применом правила 1 и 2

[уреди] Договор о брисању заграда

  • спољне заграде се бришу
  • операција имају различит приоритет: \neg највећи, \wedge,\vee слабији, а \Rightarrow,\Leftrightarrow најслабији

Пример: \neg p \vee q \Rightarrow r је исто што и (((\neg p) \vee q) \Rightarrow r)