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

Из пројекта Википедија

Садржај

[уреди] Дефиниција

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

[уреди] Примери

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

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

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

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

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

[уреди] Означавање

Исказе означавамо словима p, q, r,...

[уреди] Види још

  • Таутологије
  • Методе за доказивање таутологија
  • Базе исказне алгебре
  • Исказни рачун као формална теорија