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

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

В. А. Лещинский
Системи обробки інформації. — 2016. — № 9(146). — С. 97-100.
УДК 519.7
Мова статті: російська
Анотації на мовах:

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