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

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

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