Математическая логика и теория алгоритмов

Знание действия зависит от знания причин и заключает в себе последнее. Б. Спиноза Глава 3. ЛОГИЧЕСКОЕ СЛЕДСТВИЕ И МЕТОД РЕЗОЛЮЦИЙ Врубайся в суть, не боясь затупить клинок, Ибо острота не вечна. Лао Цзы Это конечно, Сова. Или я не Винни-Пух. Ая-он... А. М. Мили § 1. Логическое следствие и проблема дедукции в логике высказываний Пусть А VI В - пропозициональные формы (формулы логики вы­ сказываний). Считаем, что В логически следует из А, если для каждой совокупности значений пропозициональных букв, при которых А=И форма В тоже принимает значение И. В этом случае записываем 1= 5 и читаем: «из А логически следует В» или «В является логиче­ ским следствием и ЗУ 4». Легко доказать следующую теорему. Теорема 3.1. Если Л |= J5 и В j= С, то j= С 89