Формализация высказываний

Формализация высказывания – это представления сложного высказывания формулой. В сложных высказываниях нужно выделить элементарные высказывания, знаки операций и представить все это формулой.

Пример. «Если студент Зыков не присутствует на лекции и не является больным, то он находится в казино».

, где X – студент Зыков присутствует на лекции, Y – студент Зыков болен, Z – студент Зыков в казино.

Формула может быть представлена графом, где каждая вершина будет обозначать операцию (рис. 116).

Пример. X×(YÚZ).

Рис. 116. Граф представления формулы X×(YÚZ)