Логика. Радько О.Ю. - 59 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

и) Постройте классификацию понятия «периодическое издание».
Ответ:
Задания по разделу «Суждение»
а) Пусть А представляет высказывание «Теория Дарвина является научной», B – высказывание
«Теория Дарвина может быть подтверждена опытными данными» и С – высказывание «Теория Дарвина
может быть опровергнута опытными данными». Сформулируйте высказывание, получающееся из при-
ведённой формулы в результате подстановки вместо переменных А, B, C указанных конкретных выска-
зываний:
А → (B → С).
Ответ:
Преобразуем данную формулу, содержащую две операции импликации к формуле, содержащей операции
дизъюнкции и отрицания, используя известные равносильности алгебры логики:
А → (B →) ⇔ ¬А ∨ ¬B ∨ С.
Тогда словесная формулировка полученной после преобразования формулы будет иметь вид:
«Теория Дарвина
не является научной или не может быть подтверждена опытными данными
, или может быть опровергнута
опытными данными
».
б) Укажите, какие из приведённых высказываний являются общеутвердительными, общеотрица-
тельными, частноутвердительными, частноотрицательными. Укажите, какие термины распределены, а
какие не распределены, изобразите отношения между терминами при помощи кругов Эйлера.
При решении вопроса о правильности и неправильности рассуждений и в некоторых других случаях ис-
пользуется так называемое объединённое деление атрибутивных суждений по качеству и количеству на обще-
утвердительные, общеотрицательные, частноутвердительные и частноотрицательные. Их структура и обозна-
чения, соответственно: «Все
S суть P» (А), «Ни одно S не суть Р» (Е), «Некоторые S суть Р» (I), «Некоторые S
не
суть P» (О). Субъект и предикат в суждении могут быть распределены (взяты в полном объёме) или не распре-
делены (взяты не в полном объёме). В общих суждениях распределены субъекты, а в отрицательных – предика-
ты. Термин распределён, если для решения вопроса об истинности суждения следует исследовать все элементы
объёма термина. Если распределённый термин отметить знаком «+», а не распределённый – знаком «–», то по-
лучаем: все
S
+
суть Р
–
, ни один S
+
не суть Р
+
, некоторые S
–
суть Р
–
, некоторые S
–
не суть Р
+
. Распределённость
терминов в суждениях принято изображать графически при помощи круговых диаграмм (кругов Эйлера), по-
добно тому, как изображаются отношения между понятиями и операции с классами.
Ответ:
Есть учёные, которые преподают в вузе – это суждение частноутвердительное, схема – «Некоторые
S суть
Р» (I).
Периодическое
издание
Научное
периодическое
издание
Ненаучное
периодическое
издание
Ежемесячное научное
периодическое
издание
Еженедельное научное
периодическое
издание
Ежегодное научное
периодическое
издание
Ежемесячное ненаучное
периодическое
издание
Еженедельное ненаучное
периодическое
издание
Ежегодное ненаучное
периодическое
издание

Страницы