Контрольная работа по "Логике"

Содержание

Какой является формула (p ⊃ q)↔(r ⊃ s)? Тождественно-истинной, тождественно-ложной или выполнимой?.............................................................3

Дайте полную характеристику приведенным суждениям и изобразите  отношение субъекта и предиката кругами Эйлера…………………………..…4

Средствами таблично построенной логики высказываний установите, в каких отношениях находятся следующие высказывания?.............................................6

Является ли правильным следующий силлогизм, если нет, то какие правила фигур или общие правила в нём нарушены? Проиллюстрируйте необходимость следования заключения из посылок (или отсутствие такой необходимости), вычерчивая соотношение между терминами силлогизма в виде круговых схем…………………………………………………………….…7

Является ли правильным следующее определение? Если определение неправильное, то какая ошибка допущена?

Список используемой литературы…………………………...…………………..9

1. Какой является формула (p ⊃ q)↔(r ⊃ s)? Тождественно-истинной, тождественно-ложной или выполнимой?

Построим таблицу истинности. Количество строк исчисляется по формуле: m = 2n. n – количество переменных = 4, значит, m – количество строк = 16.

Данная формула является выполнимой, так как она может принимать и истинное, и ложное значения.

2. Дайте полную характеристику приведенным суждениям и изобразите  отношение субъекта и предиката кругами Эйлера.

2.1. Некоторые философы являются последовательными материалистами.

Субъект суждения S – «философы»; предикат Р – «последовательные материалисты»; связка – «являются» (утвердительная); кванторное слово – «некоторые» (квантор существования).

Суждение по количеству частное, по качеству утвердительное, по объединенной классификации частноутвердительное. Формула суждения: Некоторые S- суть Р+ или S-iP+. Субъект  не распределен. Обычно в частноутвердительном суждении предикат также не распределен, но в данном примере предикат является подчиненным понятием по отношению к субъекту и распределен.