- •Контрольная работа №5
- •Несравнимые по содержанию и исключающие друг друга по объему понятия
- •Сравнимые по содержанию и совместимые по объему понятия
- •Сравнимые по содержанию и несовместимые по объему понятия
- •Упражнения
- •1. Приведите примеры понятий, отношения между которыми соответствуют следующим схемам:
- •3. Определите вид сложного дедуктивного вывода: ((рq)∧р)q и проверьте его правильность при помощи таблицы истинности.
- •Список использованных источников
Упражнения
1. Приведите примеры понятий, отношения между которыми соответствуют следующим схемам:
Примеры:
- А - «жидкий» и В - «не жидкий».
- А – «карета» и В – «мухомор».
- А – «левый» и В – «правый».
- А – «студент» и В – «школьник».
- А – «самая большая река в Европе» и В – «Волга».
- А – «периодическое издание» и В – «газета».
- А – «студент» и В – «минчанин».
- А– «орденоносец», В – «танкист», С – «наводчик».
- А– «оптика», В – «механика», С – «кинематика»,
D– «физика».
2. Приведите пример простого суждения, в котором субъект распределен, а предикат – не распределен.
Простое суждение состоит из двух терминов: субъекта и предиката (S,P), и связки (рисунок 9).
Рисунок 9 – Структура простого суждения
В суждении термин считается распределенным, если он взят или исключен в полном объеме. Термин, взятый или исключенный частично, считается нераспределенным. Значит, простое суждение, в котором в котором субъект распределен, а предикат – не распределен будет иметь вид «Все SестьP». Примером такого суждения может быть такое: «все попугаи – птицы».
3. Определите вид сложного дедуктивного вывода: ((рq)∧р)q и проверьте его правильность при помощи таблицы истинности.
Данное выражение является сложным условным (импликативным) силлогизмом. Сложный силлогизм ((p→q)˄ p̅) → q̅ принимает истинные значения при всех p и q, кроме сочетания p(0) и q(1).
Таблица истинности:
p |
q |
¬p |
¬q |
p→q |
((p→q)^ ¬p) |
((p→q)^ ¬p)→ ¬q |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
Список использованных источников
Логика: Учеб. Пособие / Г. И. Малыхина. – Мн.: Выш. Шк., 2002.– 240с.
Малыхина, Г. И. Электронный учебно-методический комплекс «Логика» / Г. И. Малыхина, М. Р. Дисько. – Минск, БГУИР, 2007.
Гетманова А. Д. Учебник по логике. 2-е изд. – М.: «ВЛАДОС», М 1995. - 303 с.
Суждение. [Электронный ресурс] - Режим доступа: ru.wikipedia.org/wiki/Суждение