Умозаключения. Логика. Контрольная работа

1. Постройте непосредственные умозаключения - обращение, превращение, противопоставление предикату.

Всякий закон является нормативно-правовым актом. (SaP)

Обращение
SaP (Все S есть P) → SiP (Некоторые P есть S)
Некоторые нормативно-правовые акты являются законами.

Превращение
SaP (Все S есть P) → SeP (Ни одно S не есть не-P)
Ни один закон не является не нормативно-правовым актом.

Противопоставление предикату
SaP (Все S есть P) → SeP (Ни одно не P не есть S)
Ни один не нормативно-правой акт не является законом.…