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

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

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

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