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

Логика высказываний, называемая также пропозициональной логикой - раздел математики и логики, изучающий логические формы сложных высказываний, построенных из простых или элементарных высказываний с помощью логических операций. Высказываниями принято считать такие предложения (написанные на "словесном" либо математическом языке), о которых можно сказать одно из двух: либо они являются истинными, либо ложными. С математическими высказываний проще всего: они всегда имеют либо значение "истина", либо значение "ложь"...