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