Wynikanie semantyczno w rachunku kwantyfikatorów

Abstract

Труд представляет собой некоторый метод формализации логи- ческого следствия на основе исчисления квантификаторов. Этот ме- тод, основанный Бетом, является очень удобным инструментом, по- зволяющим в большинстве случаев отрицать исчисление или же обо- сновывать его путвм нахоидвния контрмодвли, или we путём доказа- тельства, что контрмодели нет. Настоящая работа осуществляет некоторую систематизацию проб- лемы семантического следствия. Начальный фрагмент посвящён не- которым важным семантическим понятиям в исчислении квантифика- торов. Затем приведены правила графика семантических диаграмм. Рассмотрены танжа вопросы сопоставления формул с тан называемыми деревьями. В дальнейших рассуждениях были подданы дискуссии типы графиков закрытых формул исчисления нвантифинаторов. Занлючи- 1вльнан часть работы содержит импозантные примеры для отличи- ыльмых типов графиков, кроме того, каждый пример графически про- иллюстрирован соответствующим ему деревом.