Контрольная работа: Суждение и логическая характеристика

Данный силлогизм не отвечает требованиям специальных правил по фигуре 4: если одна из посылок отрицательная, то большая посылка – общая (в данном случае - обе посылки – утвердительные). Модус IAO не является правильным по 4 фигуре.

4. Сделайте вывод из посылок, если это возможно

1. Котенок, который любит рыбу, поддается дрессировке.

2. Котенок без хвоста не станет играть с гориллой.

3. Котенок с усами всегда любит рыбу.

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

5. Котенок, у которого нет хвоста, не имеет усов.

Ответ:

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

2. Данные посылки являются отрицательными (Некоторый котенок не имеет хвоста; Бесхвостый котенок не станет играть с гориллой). Согласно правила посылок, из двух отрицательных посылок вывод невозможен.

3. Данные посылки являются частными (Некоторый котенок, имеет усы; Усатый котенок любит рыбу). Согласно правила посылок, из двух частных посылок вывод невозможен.

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

5. Данные посылки являются частными (Некоторый котенок не имеет хвоста; Бесхвостый котенок не есть усатый). Согласно правила посылок, из двух частных посылок вывод невозможен.

5. Установите путем построения таблицы истинности, являются ли равносильными следующие суждения:

а) Если увеличивается семья нанимателя, то это ведет к изменению условий договора найма жилого помещения, если же семья нанимателя уменьшается, это также ведет к изменению условий договора найма жилого помещения.

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

Ответ:

Установить являются ли данные суждения равносильными, значит установить, с помощью таблицы истинности, являются ли данные суждения истинными или ложными.

Истинным суждением является такое суждение, которое соответствует действительности. Ложное суждение действительности не соответствует.

Первое суждение по типу применяемого союза является условным (импликативным) и обозначается А → В, где А и В являются истинными суждениями. Импликация – это логический союз, с помощью которого из двух простых или сложных суждений образуется новое, которое истинно во всех случаях, кроме одного, а именно, оно ложно, когда ложен первый член (антецедент), а второй (концеквент) является истинным.

Второе суждение по типу применяемого союза является исключающе – разделительным (используется строгая дизъюнкция) и обозначается А \\// В. В данном суждения А и В также являются истинными. Строгая дизъюнкция – это логический союз, с помощью которого из двух или большего числа простых или сложных суждений образуется новое суждение, которое истинно тогда и только тогда, когда истинно лишь одно из входящих в него суждений, и ложно во всех других случаях.

Согласно таблицы истинности сложных суждений,

А	В	А → В	А \\// В
И	И	И	Л

Первое суждение (А → В) – истинное, а второе (А \\// В) – ложное.

Вывод: Приведенные суждения не равносильны, т.к. первое является истинным, а второе ложным.

6. Изобразите понятия на кругах Эйлера:

Мужчина; водоплавающее животное; планета; планета Солнечной системы; спутник Земли.

Ответ:

Понятия «планета», «планета Солнечной системы», «спутник Земли» можно изобразить следующим образом:

А – планета Солнечной системы;