Исказ (логика)

Дефиниција

Исказ је реченица која има смисла и која је у погледу тачности или тачна или нетачна. Да је исказ тачан обележавамо симболом $\top$ , а да је нетачан симболом $\bot$ .

Примери

• Реченица 2 + 3 = 5 је тачан исказ.

• Реченица 2 × 3 < 5 је нетачан исказ.

• Реченица "Видео сам дете са другог спрата" није исказ јер је непрецизна.

• Реченица "Сви становници Крита лажу" није исказ јер јој не можемо доделити истинитосну вредност.

• Хипотеза Гобалха "Сваки паран број већи или једнак од 4 може се написати као збир два проста броја" јесте исказ јер има истинитосну вредност $\top$ или $\bot$ , иако нам та истинитосна вредност није позната.