от анонима
Что является отрицанием общеотрицательного суждения ("Ни один S не суть Р"): частноутвердительное ("Существуют S, которые суть Р") или общеутвердительное ("Все S суть Р")?
Тьфу, не люблю формальную логику, хоть и являюсь базовым БЛ, у меня от нее почему-то крыша съезжает.
Правильный же ответ -- частноутвердительное, по идее. Проверяется взятием отрицаний от двух последних утверждений. От первого получается: не существует ни один S который суть P. А вот второго -- существуют некоторые S, которые не суть P. Соответствено, первый вариант совпадает с исходным, второй -- нет, поэтому правильный первый.
2 месяца назад