416. Схема (Ни одно S не есть P) / (Некоторые не-P суть S) представляет:

• противопоставление предикату суждения типа Е

417. Разделительно-категорическое умозаключение — это:

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

418. Утверждающий модус (modus ponens) — это:

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

419. Будет правильно понимать математическую (символическую) логику как:

• логическую науку, в которой применяют математические методы

420. Два противоречащих суждения об одном предмете или предметах должны быть:

• одно – истинным, другое – ложным