Файл: posobie_logika.pdf

Скачать файл (0,75Мб)

Заказать решение

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 13.07.2024

Просмотров: 313

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

раза чаще, чем три тройки. 1.10. Проезд автомобиля разрешен только при зеленом свете светофора, если в данном месте имеется светофор и нет каких-либо дорожных знаков, запрещающих движение. 1.11. Если доказано, что водитель ехал с превышением скорости, то он обязан заплатить штраф. 1.12. Если человек - преступник, то он должен сидеть в тюрьме; тем более недопустимо, когда за него это делают другие. 1.13. Обвиняемый может быть оправдан, если он невиновен, либо если он виновен, но вина его не может быть доказана из-за просчетов следствия и обвинения, либо если он виновен, но доводы защиты убедили суд в обратном. 1.14. Всё, что не запрещено, должно быть разрешено; в противном случае человек окажется в положении “буриданова осла”. 1.15. Если законодательство содержит взаимоисключающие разрешения и запрещения, то закон не будет работать. 1.16. Каждый человек имеет право на гражданство, но никто не обязан предоставлять его означенному человеку по первому его требованию. 1.17. Каждый человек имеет право на жилище, но из этого вовсе не следует с необходимостью, что у каждого человека имеется жилище. 1.18. Каждый человек имеет право на жизнь, но некоторые люди имеют право лишать других жизни, а все прочие при необходимости делают это без всякого права, и потому каждый человек может быть насильственно лишён жизни. 1.19. В случае пожара необходимо оказать помощь в эвакуации пострадавших, позвонить по телефону 0.1 и только потом приступить к тушению пожара. 1.20. Плохой художник или плохой рабочий могут быть приличными людьми, но плохой врач - никогда. 1.21. Женщины страдают от ожирения гораздо чаще, чем мужчины, что объясняется физиологическими особенностями их организма. 1.22. Если человек мог оказать помощь потерпевшему, но не захотел делать это, то он - преступник. 1.23. Может быть завтра немного потеплеет, потому что велика вероятность прихода теплых воздушных масс с юга. 1.24. “Если ты петухом называешься, то должен кукарекать и нести яйца” (А.Архангельский). 1.25. Умственная деятельность в разумных пределах способствует здоровью и долголетию; не случайно люди, занимающиеся умственным трудом, в среднем живут на 10-15 лет дольше людей, занимающихся физическим трудом. 1.26. Неверно сводить сознание к материальному субстрату; это то же самое, что сводить человека к трудящейся обезьяне. 1.27. Утверждение о том, что не существует двух натуральных чисел, сумма кубов которых давала бы куб третьего натурального числа, нельзя ни доказать, ни опровергнуть. 1.28. По мнению ученых, континенты разобщены и дрейфуют, но это мнение вполне может оказаться и ошибочным. 1.29. “Не плюй в колодец - пригодится воды

напиться” (Пословица). 1.30. Курить, сорить и плевать в общественных местах - запрещено, и потому человек, поступающий подобным образом, должен быть с необходимостью отнесен к людям низкой культуры.

Упражнение 2. Привести примеры модальных суждений, соответствующих следующим структурным формулам.

О б р а з е ц: “(□(pq) (r s))t”; р: “Собака - хищник”, q: “Собака питается мясом”, r: “Собака голодна”, s: “Собака питается хлебом”, t: “Собака когда-нибудь съест своих хозяев”. Сложное суждение: “Если необходимо, что собака, будучи хищником, питается мясом, и если случайно, что собака, будучи голодной, питается хлебом, то

возможно, что собака когда-нибудь съест своих хозяев.”
2.1.	О(p q)(r (st));			2.2. Rp(Zq □(r(s t)));			2.3.
(Vp Fq)(Оr (st));			2.4.			(Рpq)(Рr(s t));	2.5.
(Vp Fq)(Pr (st));		2.6.			(□p q)(r (s t);		2.7.
((RpZq) (RrOs))t;			2.8.			□p(q (□(r(s t))));	2.9.
(□pq)(□r(s t));			2.10.			Z((p q)r)□(st);	2.11.
Rp((q r) (□st));				2.12.		□(pq)(□(rs) t);	2.13.
(FpFq)(VrV(s t));		2.14.			(FpVq)□((rs) t);		2.15.
(□(pq)((r s) t);		2.16.		(Оp Rq)(r □(s t));			2.17.
□p((q r) (s Оt));			2.18.			(Vp Vq) ((Fr□s) t);	2.19.
((p	q)(r s))□t;	2.20.		(□p q)(Rr R(s t));			2.21.
(□p□q)(r(s t));		2.22.		((Rpq) (Rrs))□t;			2.23.
(Vp Vq) (□rO(s t);			2.24.		(Fp Fq)((r s)□t);		2.25.
(p q)(Or (st);			2.26.		((□p □q)r)(ZsRt);		2.27.
(OpOq)((Rrs)t);			2.28.		(□pq) ((r s)Ot);		2.29.

(□pq)(Or(RsZt)); 2.30. Z(p q)R((r s)t).

Упражнение 3. Привести примеры модальных суждений с фиксированным понятием 1, которые соответствовали бы следующей объемной диаграмме.

О б р а з е ц: понятие “гинеколог” (1). Используем следующую объемную диаграмму: 2 - “врач”, 3 - “военный”, 4 - “инженер”, 5 - “человек”. Строим простые суждения: р - “Иванов - гинеколог”, q -

“Иванов - врач”, r - “Иванов - военный”, s - “Иванов - инженер”, t - “Иванов - человек”. Сложное суждение - “Если Иванов - гинеко-

лог, то он с необходимостью является врачом, но не может быть ни военным, ни инженером, хотя с необходимостью является человеком.” Логическая схема сложного суждения: р(□q ((r s) □t)).

3.1.рационализатор; 3.2. радиоэлектронщик; 3.3. респиратор; 3.4. радиатор; 3.5. радист; 3.6. рвач; 3.7. радикулит; 3.8. ревматизм; 3.9. религия; 3.10. реформа; 3.11. революция; 3.12. реакция; 3.13. радиация;

3.14.репетиция; 3.15. ресторан; 3.16. рыба; 3.17. рука; 3.18. рысь; 3.19. рудокоп; 3.20. раб; 3.21. рабочий; 3.22. рыбак; 3.23. ринг; 3.24. риск;

3.25.рынок; 3.26. ракета; 3.27. розетка; 3.28. рыцарь; 3.29. ремонт;

3.30.редиска.

2.7.Логические отношения между суждениями.

Логическое отношение - это специфический характер зависимости логического значения одного суждения от логического значения другого. Общее представление о возможных логических отношениях между суждениями может быть задано при помощи следующей таблицы:

Суждения

Сравнимые

Несравнимые

Совместимые

Несовместимые

Эквивалентные

Контрарные

Субконтрарные

Контрадикторные

Подчиненные

Несравнимыми называются суждения, логические значения которых полностью независимы друг от друга:

p	q
и	и
и	л
л	и
л	л

В противном случае суждения называются сравнимыми.

Сравнимые суждения бывают совместимыми и несовместимыми; последние, в отличие от первых, не могут быть одновременно истинными:

p	q
и	и
и	л
л	и
л	л

Существует 3 вида совместимости:

-1. Полная совместимость или эквивалентность - логические значения суждений всегда совпадают, т.е.

p	q
и	и
и	л
л	и
л	л

-2. Частичная совместимость или субъконтрарность - суждения не могут быть одновременно ложными, т.е.

p	q
и	и
и	л
л	и
л	л

-3. Подчинение - истинность одного (подчиняющего) суждения исключает ложность другого (подчиненного), т.е.

p	q
и	и
и	л
л	и
л	л
р подчиняет q;
p	q
и	и
и	л
л	и
л	л
q подчиняет р.

В логике различают также 2 вида несовместимости:

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

p	q
и	и
и	л
л	и
л	л

-2. Противоречивость или контрадикторность - суждения не могут быть ни одновременно истинными, ни одновременно ложными:

p	q
и	и
и	л
л	и
л	л

Примечание. Данная классификация оказывается н е п о л н о й, если хотя бы одно из сравниваемых суждений - тождественно-истин- ная или тождественно-ложная формула. Например, для двух тожде- ственно-истинных формул мы имеем: