3.10 Исчисление предикатов

Теория вывода, которую дает исчисление высказываний, недос­таточна даже для обычных рассуждений. Например, из посылок: "Всякое рациональное число есть действительное число" и "Три есть рациональное число" нельзя вывести заключение, что "Три есть дейст­вительное число".

Но оказывается, что, добавив три логических понятия, можно значительно расширить исчисление высказываний и применять его для анализа рассуждений:

· терм;

· предикат;

· квантор.

< Предыдущая		Следующая >