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