Реферат: Логика контрольная 7

православные

христиане

тип А – общеут-верди-тельное (Все S есть P)

Распре-делен

не распре-делен

О)

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

Из римских рабом

обладал гражданским правом

Тип E – обще- отрица-тельное (Ни одно S не есть P)

Распре- делен

Распределен

П)

Наука изощряет ум

Наука

Изощряет ум

тип А – общеут-верди-тельное (Все S есть P)

Распре-делен

не распре-делен

Р)

Привычка притупляет чуствитель-ность

Привычка

притупляет чуствитель-ность

Тип J – частно-утверди-тельное (Некото-рые S есть P)

Не распре-делен

не распре-делен

2. Определить логическую структуру и выразить ее с помощью логических связок (стр.73)

Е) Неверно, что 5 делится на 2 или на 3

Это сложное суждение, состоящие из двух простых: a – 5 делится на 2, b – 5 делится на 3. Перед суждениями стоит отрицание «Неверно, что…», поэтому суждения выглядят как «— a » и «-- b ». Всё выражение представляет собой дизъюнкцию : -- a v -- b .