ПОИСК Статьи Рисунки Таблицы Понятие логических связей, значения истинности и высказывания из "Программирование " В исчислении высказываний предложения оцениваются не с точки зрения их содержания (смысла), а по их истинности или ложности. Про истинное предложение говорят, что его значение истинности равно 1, а про ложное, что его значение истинности равно 0. [c.37] Всякое предложение, для которого имеет смысл утверждение о его или истинности или ложности, рассматриваемое в целом (т. е. без учета его внутренней структуры и содержания), называется элементарным высказыванием. [c.37] Предложения 9 — нечетное число , снег красен , Москва — столица СССР являются элементарными высказываниями. [c.37] Если составляющие высказывания А п В сами являются сложными (т. е. записываются с помощью букв и знаков логических связей), то в записях, упоминаемых в пункте 2) определения, они заключаются в скобки. [c.37] Таким образом, при записи сложных высказываний применяются буквы (обозначающие элементарные высказывания), знаки логических связей и скобки (определяющие строение сложных высказываний). [c.37] Вернуться к основной статье