Исказ (логика) — разлика између измена
Садржај обрисан Садржај додат
Нема описа измене |
мНема описа измене |
||
Ред 1:
== Дефиниција ==
'''Исказ''' је реченица која има смисла и која је у погледу тачности или тачна или нетачна. Да је исказ тачан обележавамо симболом <math>\top</math>, а да је нетачан симболом <math>\bot</math>.
== Примери ==
• Реченица 2 + 3 = 5 је тачан исказ.
• Реченица 2 × 3 < 5 је нетачан исказ.
• Реченица "Видео сам дете са другог спрата" није исказ јер је непрецизна.
• Реченица "Сви становници Крита лажу" није исказ јер јој не можемо доделити истинитосну вредност.
• Хипотеза Гобалха "Сваки паран број већи или једнак од 4 може се написати као збир два проста броја" јесте исказ јер има истинитосну вредност <math>\top</math> или <math>\bot</math>, иако нам та истинитосна вредност није позната.
== Означавање ==
Исказе означавамо словима p, q, r,...
== Види још ==
[[Операције са исказима]]
[[Исказне формуле]]
[[Исказна алгебра]]
[[Однос исказнх формула и исказне алгебре]]
[[Таутологије]]
[[Методе за доказивање таутологија]]
[[Базе исказне алгебре]]
[[Исказни рачун као формална теорија]]
[[Категорија:Логика|
[[Категорија:Исказни рачун|
|