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

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

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

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