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

О формальных свойствах исчисления высказываний

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

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