О формульной записи сложных высказываний

В. А. Лещинский , И. А. Лещинская
УДК 519.7
Мова статті: російська
Анотації на мовах:

В работе рассматривается логический подход к формульному описанию произвольных сложных высказываний, выражающему его функцию истинности. Показано, что содержание сложного высказывания зависит только от содержания простых высказываний, входящих в его состав, а также от вида его функции истинности. Показано, каким образом можно описывать сложные высказывания, переходя от текстовой интерпретации высказываний к формулам. На примере задачи Кейслера рассматривается, как, оперируя формулами высказываний, можно формальными методами решать некоторые логические задачи.
Ключові слова: логическая формализация, сложные высказывания, операции с высказываниями, функция истинности, истинностная переменная
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Лещинский В. А. О формульной записи сложных высказываний / В. А. Лещинский , И. А. Лещинская  // Збірник наукових праць Харківського національного університету Повітряних Сил. — 2016. — № 2. — С. 105-107.