Константин Крылов (krylov) wrote,
Константин Крылов
krylov

Category:

Вторник, новая лекция

Сегодня временно возвращаемся к дедукции на уровне логики высказываний. "То же самое, только без рук" - то есть дедуктивный вывод без таблиц истинности, только по правилам вывода.