Исчисление. Натуральный вывод. Теперь, когда мы познакомились с основами логики высказываний, мы можем перейти к прагматической её части, а именно к исчислению(алгоритму решения задач) в натуральном выводе(дедуктивное мышление). Есть два способа использования дедукции: 1. Выводить самому. 2. использовать уже заготовленные законы . Многих безусловно интересует возможность выводить так же как это делает герой книги и кино - Шерлок Холмс. Для этого сначала обратимся к правилам натурального вывода:...