Исказ (логика) — разлика између измена
Садржај обрисан Садржај додат
Нема описа измене |
Нема описа измене |
||
Ред 1:
'''Логички искази''' се дефинишу на следећи начин:
Нека је <math>Var = \{p_1,...,p_n,...\}</math> пребројив [[скуп]] исказних слова, <math>\wedge,\vee,\Rightarrow,\Leftrightarrow,\neg</math> [[логички оператори]], а <math>\top</math> и <math>\bot</math> [[логика|логичке константе]].
# Исказна слова и [[логика|логичке]] константе су логички искази
# Нека су A и B нека два логичка исказа. Тада су <math>(A \land B)</math>, <math>(A \lor B)</math>, <math>(A \Rightarrow B)</math>, <math>(A \Leftrightarrow B)</math> и <math>(\lnot A)</math> такође логички искази
# Логички искази се добијају искључиво применом правила 1 и 2
==Договор о брисању заграда==
* спољне заграде се бришу
* операције имају различит приоритет: <math>\lnot</math> највиши, <math>\land, \lor</math> нижи, а <math>\Rightarrow,\Leftrightarrow</math> најнижи. На пример, <math>\lnot p \lor q \Rightarrow r</math> је исто што и <math>(((\lnot p) \lor q) \Rightarrow r)</math>.
▲[[Категорија:Логика|Исказ]]
▲[[Категорија:Исказни рачун|Исказ]]
|