1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 8(145)'2016
  5. О логической формализации сложных высказываний

О логической формализации сложных высказываний

В. А. Лещинский, И. А. Лещинская
Системи обробки інформації. — 2016. — № 8(145). — С. 73-76.
УДК 519.7
Мова статті: російська
Анотації на мовах:

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