О логике

Давайте поговорим о логике: с точки зрения математики, но с привязкой к реальности.

Оглавление рубрики "Мой учебник"

Начнем с высказываний. Высказывание — это некоторое текстовое утверждение, которое может быть истинным или ложным.

Например, "Все кошки серы", "Если сумма цифр числа делится на 3, то и само число делится на 3", "Максимальная выплата в 'игре пиратов' не зависит от численности команды", "Убийца — дворецкий", "Ti amo".

Закон исключенного третьего гарантирует, что "либо-либо", даже если выяснить, что же именно, мы не можем.

А бывает так, что мы не можем, причем принципиально. Об этом в другой раз.