Продолжаем заниматься формальной логикой.
Дорешали задачки на логические И и ИЛИ.
Например, такую
Андрей является участником шоу-викторины. Главный приз спрятан в
одном из ящиков. Андрей получает 4 подсказки:
1. Приз находится в синем или зеленом ящике.
2. Приз находится в красном или желтом ящике.
3. Приз находится в зеленом ящике.
4. В желтом ящике приза нет.
Три подсказки ошибочны и только одна правильная. Андрей поразмыслил и открыл
правильный ящик. Ящик какого цвета он выбрал?
В целом решают вполне, но более сложные, конечно, тяжеловато уже. Вот эту решали коллективно только.
Один из пяти братьев испек маме пирог.
Никита сказал: «Это Глеб или Игорь».
Глеб сказал: «Это сделал не я и не Дима».
Игорь сказал: «Вы оба шутите».
Антон сказал: «Нет, один из них сказал правду, а другой обманул».
Дима сказал: «Нет, Антон, ты не прав».
Мама знает, что трое из ее сыновей всегда говорят правду. Кто испек пирог?
А потом перешли к логическому следствию. А -> Б. Это вообще такая операция, которая со здравым смыслом слегка расходится. То есть в ее таблице истинности в результате 0(или ложь) получается только в одном случае — когда из истинного высказывания, следует ложное. А вот, из лжи может получиться все, что угодно. И это принять, конечно, тяжело. Ну, и то, что в общем-то эти высказывания вполне могут между собой не быть ничем связанными.
Пример. «Если новый год в России отмечают 10 июля, то Волга впадает в Каспийское море» является вполне себе истинным высказыванием. Так же как и «Если новый год в России отмечают 10 июля, то Волга впадает в Охотское море».