Логички исказ

Из Википедије, слободне енциклопедије

Предложено је да се овај чланак или један његов део споји са чланком Исказ (логика).   (Разговор)

Логички искази се дефинишу на следећи начин:

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

  1. Исказна слова и логичке константе су логички искази
  2. Нека су A и B нека два логичка исказа. Тада су (A \land B), (A \lor B), (A \Rightarrow B), (A \Leftrightarrow B) и (\lnot A) такође логички искази
  3. Логички искази се добијају искључиво применом правила 1 и 2

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

  • спољне заграде се бришу
  • операције имају различит приоритет: \lnot највиши, \land, \lor нижи, а \Rightarrow,\Leftrightarrow најнижи. На пример, \lnot p \lor q \Rightarrow r је исто што и (((\lnot p) \lor q) \Rightarrow r).

- Добављено из „http://sr.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D1%87%D0%BA%D0%B8_%D0%B8%D1%81%D0%BA%D0%B0%D0%B7“
Направи књигу