А достаточно было переписать вопросы в терминах алгебры логики...
Введем определения:
Е - Exist (квантор существования)
А - All (квантор всеобщность)
П - Let (Пусть, предположим)
: - такой, что
маленькая буква -- переменная
явл - является, являться, принадлежать классу
слд - следует
1. Некоторые улитки являются горами.
Все горы любят кошек.
Значит, все улитки любят кошек.
1) Е а явл улитки: а явл горы
2) А b явл горы слд б явл любит_кошек
3) Доказать: А в явл улитками слд в явл любит_кошек
Ответ: НЕВЕРНО, т.к. горы являются лишь подмножеством улиток, т.е. из утверждения 1)
НЕ СЛЕДУЕТ что А а явл горы слд а явл улитками, зато следует, что
Е а вл улитками: НЕ (а явл горами) то есть, совершенно необязаны любить кошек.
И так далее ;-) Жаль, неуспел "честно" ответить...