Логическая эквивалентность, логическое следствие, логический вывод

Лекция проф. Ю.Г. Карпова к дистанционному курсу “Математическая логика“ Мотивация изучения математической логики Мотивация Логические эквивалентность, следствие и вывод