Введение в логику - урок 1

Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для настоящего программиста. Введение в логику: Базовые понятия. Урок 1.