Семантическая таблица

А	В	(АВ)	(АВ)	(АВ)	(А→В)	(А≡В)
и и л л	и л и л	и л л л	и и и л	л и и л	и л и и	и л л и

Логический практикум

1. Выделите логическую форму простого суждения.

1. Некоторые рыбы не летают.

2. Хорошее начало – половина дела.

3. Только уроженцы Африки могут переносить климат Африки.

4. Ни один из римских рабов не обладал гражданскими правами.

5. Не все ответы были ложны.

6. Есть в осени первоначальной короткая, но дивная пора.

7. Доброе слово и кошке приятно.

8. Никто не обнимет необъят­ного.

Пример.Лень никогда не приводит к добру Алгоритм выполнения задания 1. Выделить субъект (S), предикат (P) суждения, связку, квантор. 2. Записать в стандартной форме 3. Указать тип суждения 4. Изобразить кругами Эйлера отношение между субъектом и предикатом суждения.

1. S – лень, P – дей­ствие, приводящее к добру. Связка – не суть. Квантор общности – никогда (никакая). 2. Никакая лень не суть действие, приводящее к до­бру. => Ни один S не суть Р. 3. Общеотрицатель­ное, тип Е.

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

1. Не все студенты изучают логику.

2. Только один металл жидкий.

3. Все хорошо, что хоро­шо кончается.

4. Некоторые лекарства опаснее болезней.

5. Растения лишены спо­собности движения.

6. Поиск истины никогда не может закончиться.

7. Нет бессмертных людей.

8. Людям свойственно ошибаться.

9. Пишущие неразборчи­во не всегда гениальны.

Пример. Не каждый решится на подобный поступок

Пример. Не каждый решится на подобный поступок Алгоритм выполнения задания. 1) Выделить субъект (S) и предикат суждения( P) 2) Записать его в стандартной форме, указать тип суждения 3. Записать стандартную форму контрадикторного, контрарного, субконтрарного суждения. Сформулировать их в исходных терминах

1) S – человек, Р – человек, который решится на подобный поступок 2) Не каждый человек суть человек, который решится на подобный поступок. Словосочетание «не каждый» указывает на квантор «некоторые» и отрицательную связку «не суть» (Некоторые люди не суть люди, которые решаются на подобный поступок. Суждение типа О: Некоторые S не суть Р. 3) а) Контрадикторное. Суждение типа А: Все S суть Р. Каждый человек решится на подобный поступок. б) Контрарное нет. в) Субконтрарное. Суждение типа I: Некоторые S суть Р. Некоторые люди решатся на подобный поступок

Тесты для самопроверки

1. Суждение – это	а) совокупность понятий, находящихся в опреде­ленных отношениях к некоторому основному понятию; б) повествовательное предложение, выраженное средствами естественного языка; в) языковая конструкция, в которой что-либо утверждается или отрицается и которая может быть оценена как истинная либо как ложная; г) вынесение оценки тому или иному явлению.
2. Перечислите структурные элементы простого суждения	а) б) в) г)
3. Сколько элементов свя­зываются в простом суждении и чем они являются?	а) 2: квантор и связка; б) 4: субъект, предикат, квантор, связка; в) 2: субъект и предикат; г) 3: квантор, субъект и предикат; д) 3: субъект, предикат и связка.
4. Суждения со структу­рой «Некоторые S есть Р» по своему количест­ву и качеству являют­ся ... и обозначаются буквой:	а) частноотрицательными; б) общеотрицательными; в) общеутвердительными; г) частноутвердительными. 1) А; 2) Е; 3) I; 4) O
5. Запишите структуру и обозначение частноутвердительных сужде­ний.	Структура: Обозначение:
6. Определите качество и количество суждений и запишите около каждого из них соответствующее обоз­начение:	1 . Среди простых суждений бывают общие по количеству. 2. Квантор указывает на количество суждения. 3. Не все студенты выполнят работу полностью. 4. Винни-Пух никогда не учил логику.
7. По логическому квад­рату отношение час­тичной противополож­ности имеет место между суждениями:	1) А и Е, 2) А и I, 3) I и О, 4) А и О.
8. Частично противопо­ложные суждения:	а) могут быть одновременно ложными, но не мо­гут быть одновременно истинными; б) если одно из суждений в этой паре истинно, то и другое суждение истинно; в) могут быть одновременно истинными, но не могут быть одновременно ложными; г) не могут быть одновременно ни истинными, ни ложными.
9. Если суждение типа А ложно, то что можно ска­зать о суждении типа I, содержащем те же субъект и предикат?	Оно: а) истинно; б) ложно; в) неопределенно.
10. Исходя из ложности суждения типа О, что можно сказать о значе­ниях истинности ос­тальных типов сужде­ний:	1) А – а) истинно, б) ложно, в) неопределенно; 2) I – а) истинно, б) ложно, в) неопределенно; 3) Е – а) истинно, б) ложно, в) неопределенно.
11. Простой вопрос – это:	а) вопрос, на который легко дать ответ; б) вопрос, содержащий одно слово; в) вопрос, в основе которого предполагается только одно суждение; г) вопрос, неизвестное которого выражается ну­левым понятием.
12. Некорректный вопрос – это вопрос	а) который не требует ответа; б) на который дается заведомо ложный ответ; в) основа которого предполагает только отрицательные суждения; г) предпосылки которого – ложные или противоречащие друг другу суждения.
13. Конъюнкция – это сложное суждение,	а) истинное тогда и только тогда, когда все входящие в его состав простые суждения одновременно истинны или одновремен­но ложны; б) истинное тогда и только тогда, когда ис­тинно хотя бы одно из входящих в его со­став простых суждений; в) истинное тогда и только тогда, когда истинны все простые суждения, входящие в его состав; г) истинное тогда и только тогда, когда все входящие в его состав простые суждения ложны.
14. Импликация – сложное суж­дение,	а) ложное только в том случае, когда его ос­нование истинно, а следствие ложно; б) истинное только в том случае, если основание импликации является истинным; в) ложное тогда, когда в его состав входит хотя бы одно ложное высказывание; г) при любых значениях входящих в него переменных дающее значение «истина».
15. Определите вид сложного суждения и запишите его в виде формулы:	1) Видит око, да зуб неймет. 2) Назвался груздем – полезай в кузов. 3) Он раздражителен только тогда, когда болен. 4) Неверно, что каждый студент этого фа­культета трудолюбив. 5) Иван либо сын, либо внук Петра.