Параллельная реализация логических рассуждений

Abstract

Рассматривается формализация вывода в исчислении высказываний и в исчислении предикатов, а также дана интерпретация категорического силлогизма. Предложена аппаратная реализация вывода с помощью программируемых систолических структур

Formalization of inference method in propositional calculus and predicate calculus is considered and new interpretation categorical syllogism is given. Hardwarily implementation inference by means programmed systolic structure is proposed

Розглядається формалізація виведення в численні висловлювань і в численні предикатів, а також дана інтерпретація категоричного силогізму. Запропонована апаратна реалізація виведення за допомогою програмованих систолічних структур