Преобразуйте отрицание следующего суждения с отношениями в суждение без

внешнего отрицания:

НЕВЕРНО, ЧТО КАКОЙ-НИБУДЬ РОССИЙСКИЙ ГОРОД БОЛЬШЕ МОСКВЫ.

Ответ

Символически: ØSiP º_Df SeP (по квадрату в силу контрадикторности SiP и SeP; ни один российский город не больше Москвы)

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

Цезарь был в Германии или в России; он не был в России; значит, Цезарь был в Германии.

Ответ

Символически: pÚq, Øq ç= p

p	q	pÚq	Øq
И	И	И	Л
И	Л	И	И
Л	И	И	Л
Л	Л	Л	И

В совместной таблице таблице истинности для посылок и заключения нет строки, где посылки истинны, а заключение – ложно, поэтому отношение логического следования есть.

Вариант IV

1. К какому виду относится следующее понятие?

Правовая норма

Ответ

А) По объему: непустое, общее.

Б) По содержанию: положительное.

В) По характеру элементов объема: несобирательное, конкретное.

2. Определите, является ли правильным следующее непосредственное умозаключение:

Все книги имеют страницы; следовательно, некоторые не-книги не имеют страниц.

Ответ

Символически: SaP ç= ^ØSoP.

Поскольку перед субъектом заключения стоит терминное отрицание, в данном случае пытались применить операцию противопоставления субъекту к посылке:

SaP ç= PiS (обращение) ç= Po^ØS (превращение).

Результат иной, поэтому умозаключение неправильное.