пз логика бгуир исит / логика7тема
.pdfРушева Маргарита Владиславовна 972304
1.Тот, кто понимает Толстого(p), не следует за ним(q). А тот, кто следует за ним, не понимает его.
Суждение истинно.
Суждение является логическим законом.
Если А, то B |
|
p→q |
не-В |
или |
˥q |
------- |
|
----- |
не-А |
|
˥p |
Достоверный модус. |
|
|
Отрицающий модус. Толленс модус Рассуждения идут от отрицания следствия к отрицанию основания. Поэтому вывод называется отрицательным.
p |
q |
p→q |
|
|
|
Л |
Л |
И |
|
|
|
2.Если бьют в набат(p), значит, где-то пожар(q). В набат не бьют. Значит, пожара нет.
Суждение истинно.
Суждение является логическим законом.
Если А, то B |
|
p→q |
не-А |
или |
˥p |
------------------------ |
|
------------- |
Значит, не B |
|
Значит, ˥q |
Правдоподобные модусы. |
|
|
Неправильные модусы. |
|
|
Рассуждения идут от отрицания основания к отрицанию следствия. Данный модус не позволяет достоверно установить главную причину следствия и поэтому даёт лишь правдоподобные заключения.
p |
q |
p→q |
|
|
|
Л |
Л |
И |
|
|
|
3.В книге ценится или ее содержание, или форма изложения. А в книге не ценится ее содержание. Значит, в ней не ценится и форма изложения.
Данное сложное суждение состоит из 2 простых.
1 В книге ценится ее содержание(p).
2В книге ценится форма изложения(q).
Суждение ложно.
Суждение не является логическим законом.
Меньшая посылка отрицает одну из альтернатив, а заключение отрицает другую альтернативу.
S есть или A, или B |
|
p v q |
|
|
|
S не-есть А |
|
˥p |
|
|
|
------------------------- |
или |
--------------- |
|
|
|
Значит, S не-есть B |
|
Значит, ˥q |
|
|
|
Модус толлендо поненс. |
|
|
|
|
|
Отрицающе-утверждающий модус. |
|
|
|
|
|
Должно быть так: |
|
|
|
|
|
|
|
p |
q |
p v q |
|
S есть или A, или B |
p v q |
|
|
|
|
S не-есть А |
˥p |
|
Л |
Л |
Л |
------------------------- |
------------ |
|
|
|
|
Значит, S есть B |
Значит, q |
|
|
|
|
|
|
|
|
В книге ценится или ее содержание, или форма изложения. А в книге не ценится ее содержание.
Значит, в ней ценится форма изложения.
Меньшая посылка отрицает одну из альтернатив, а заключение утверждает другую альтернативу.
p |
q |
p v q |
|
|
|
Л |
И |
И |
|
|
|
4.Он учится на дневном или заочном. Но я знаю точно, что не на дневном. Значит, на заочном.
Суждение истинно. Суждение является логическим законом. Модус толлендо поненс. Отрицающе-утверждающий модус.
S есть или A, или B |
p v q |
S не-есть А |
˥p |
---------------------- |
------- |
Значит, S есть B |
q |
Меньшая посылка отрицает одну из альтернатив, а заключение утверждает другую альтернативу.
Данное сложное суждение состоит из 2 простых.
1 ) Он учится на дневном(p).
2) Он учится на заочном (q).
p |
q |
p v q |
|
|
|
Л |
И |
И |
|
|
|