Let_is_be
"Если говорить о логике, то там присутствуют конъюнкция, дизъюнкция,импликация и отрицание."
Спасибо конечно за экскурс по логическим операциям, и наглядные примеры. Но в этом нет особой необходимости, так как я программист по профессии и хорошо представляю всё это, так как приходится решать логические задачи каждый день. Поэтому вряд-ли Вы сможете меня этим утомить, скорее наооборот)) Логика очень тесно связана с математикой, и эта связь тем очевиднее, чем больше формализованы те или иные логические задачи. Вы слышали о нейронных сетях или интеллектуальных сетях? Связь логики и математики налицо

Кстати если формализовать ваши примеры, то вывод неправильный в 1 задаче, а по вашему в какой?))

Сейчас у меня нет времени, но позже я приведу пример формализации задачи с виселецей и Вы увидете, что парадокса нет))