Показать с использованием метода резолюций что гипотеза является логическим следствием посылок.

 

Задача 1.

Посылки:

1)  Некоторые избиратели, придерживающиеся либеральных взглядов, согласны
голосовать только за партии правого толка.

2)  Ни один избиратель, придерживающийся либеральных взглядов, не согласен
голосовать за коммунистические партии.

Гипотеза. Ни одна партия правого толка не является коммунистической.

 

Задача 2.

Посылки:

1)  Никто, кроме птиц, не имеет перьев.

2)  Ни одна птица не является рыбой.
Гипотеза.

Ни одна рыба не имеет перьев.

 

Задача 3.

Посылка:

Йогурт «Данон» полезнее йогурта «Эрманн».

Гипотеза.

Не все йогурты одинаково полезны.

 

Задача 4.

Посылки:

1)  Некоторые женщины занимаются бизнесом.

2)  Все женщины - люди.
Гипотеза.

Существуют люди, которые занимаются бизнесом.

 

Задача 5.

Посылка:

Ни одна рыба не является растением.

Гипотеза.

Ни у одной рыбы хвост не является хвостом растения.

 

Задача 6.

Посылки:

1)  Ни один торговец наркотиками не честен.

2)  Существуют торговцы подержанными автомобилями, которые честны.
Гипотеза.

Не все торговцы подержанными автомобилями торгуют наркотиками.

 

Задача 7.

Посылки:

1) Существуют пациенты, которые любят всех докторов.

2) Ни один пациент не любит шаманов. Гипотеза. Ни один доктор не является шаманом.

 

Задача 8.

Посылки:

1)  Каждый человек любит какого-нибудь другого человека.

2)  Все любят Мать Терезу.

3)  Мать Тереза - человек.
Гипотеза.

Существуют люди, которые любят друг -друга.

 

Задача 9.
Посылки:

1)   Ни один контрабандист не проникнет в страну, не вступив в сговор с таможенником.

2)   Ни один таможенник, если он честен, не вступит в сговор с контрабандистом.

3)  В страну проникли контрабандисты.

Гипотеза.

Некоторые таможенники бесчестны.

 

Задача 10.

Посылки:

1)  В одну из стран проникли исламские террористы.

2)  Никакие террористы не проникнут извне ни в одну страну, если в этой стране
эффективная тайная полиция.

Гипотеза.

Существует страна, где тайная полиция неэффективна.

 

Задача 11.

Посылки:

1)Тот, кто упорен, станет тем, кем захочет.

2)  Пётр - упорен.

3)  Пётр хочет стать президентом.
Гипотеза.

Пётр станет президентом.

 

Задача 12.

Посылки:

1)  Ни одна рептилия не мечет икру.

2)  Все, кто имеют водопроницаемую кожу, живородящи или мечут икру,

3)  Ни одна живородящая рептилия не имеет водопроницаемую кожу .
Гипотеза.

Ни одна рептилия не имеет водопроницаемую кожу.

 

Задача 13.

Посылки:

1) Некоторые должники любят всех своих кредиторов.

2) Никто, кто является чьим-то должником, не любит мирового судью.

Гипотеза.

Мировой судья не является ничьим кредитором.

 

Задача 14.

Посылки:

1)  Ни одно млекопитающее животное не имеет двухкамерное сердце.

2)  Все теплокровные животные - млекопитающие или птицы.

3)  Все животные или холоднокровные, или теплокровные, но не то и другое
сразу.

Гипотеза.

Или все животные, имеющие двухкамерное сердце, холоднокровны, или некоторые из них являются птицами.

 

Задача 15.

Посылки:

1)  Каждый муравей любит свой муравейник.

2)  В каждом муравейнике есть муравьи.
Гипотеза.

Каждый муравейник кто-нибудь любит.

 

Задача 16.

Посылки:

1) Существуют студенты, которые любят учиться.

2) Всякий, кто любит учиться, многого достигнет в жизни.
Гипотеза.

Некоторые студенты многого достигнут.

 

Задача 17.

Посылки:

1)  Ни один заяц не ведет водный образ жизни.

2)  Существуют млекопитающие, которые являются зайцами.
Гипотеза.

Не все млекопитающие ведут водный образ жизни.

 

Задача 18.

Посылка:

1)  Ни одна птица не имеет жабры.

2)  У всех рыб имеются жабры
Гипотеза.

Ни одна птица не является рыбой.

 

Задача 19.

Посылки:

1)  Некоторые мужчины занимаются боксом.

2)  Все боксеры - люди.
Гипотеза.

Некоторые мужчины - люди.

 

Задача 20.

Посылки:

1)   Никто, кроме кашалотов, не ныряет на 3 километра.

2)   Ни одна птица не является кашалотом.
Гипотеза.

Ни одна птица не ныряет на 3 километра.

 

Задача 21.

Посылки:

1)  Некоторые преподаватели разрешают студентам пользоваться учебниками на
экзаменах.

2)  Все, кто кому-нибудь что-нибудь разрешает, придерживаются либеральных
взглядов.

Гипотеза.

Некоторые преподаватели придерживаются либеральных взглядов.

 

Задача 22.

Посылки:

1)  Некоторые крокодилы плавают в морской воде.

2)  Все, крокодилы, которые плавают в морской воде, агрессивны.
Гипотеза.

Некоторые крокодилы агрессивны.