В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...

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