Задание из раздела теория дедуктивных рассуждений. Классическое исчисление высказываний. Применяя правила вывода (дедуктивные принципы исчисления) и существующие эвристики(3шт). Разобрать примеры выводов и доказательств с дополнительным указанием эвристик,которые применялись при выборе посылок.