Кодирование информации

Вывод

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

Пример.

Если в параллелограмме все стороны равны, то он – ромб. В параллелограмме ABCD все стороны равны, следовательно, он – ромб.

Введем обозначения:

Р (х) : х – параллелограмм с равными сторонами.

R(x) : x – ромб.

Рассуждение выглядит так:

(х) (Р (х) R(x)), Р(ABCD) ├R(ABCD).

Построим вывод:

1) (х) (Р (х) R(x)) – посылка.

2) Р (у) R(у), ВЛ (1).

3) Р(ABCD) – посылка.

4) R (ABCD), ВЕ (2, 3).

Можно рассмотреть и другие правила вывода, и другие примеры рассуждений.