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

Вывод

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

Пример.

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

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

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

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

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

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

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

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

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

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

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

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

Дата добавления: 2014-01-06