Используя кванторы всякий и некоторый, постройте базовые высказывания силогистики, являющиеся истинными. Предполагается, что субъект высказывания S объединяет несколько видов животных, а предикат высказывания Р означает исчерпывающее множество видов вьючных животных.S = {лошадь, вол, верблюд, лама}
(Отметьте один правильный вариант ответа.)
Варианты ответа
Всякий S есть Р; Некоторый S не есть Р; лама есть Р; вол не есть Р.
Всякий S не есть Р; Некоторый S есть Р; Некоторый S не есть Р; лама не есть Р.
Всякий S есть Р; вол есть Р; верблюд есть Р; лошадь есть Р; лама есть Р.(Верный ответ)