Вопрос 152. Схема (Некоторые S суть P) / (Некоторые S не суть не P) представляет превращение суждения типа
Ответ: I
Вопрос 153. В логическом исчислении такое его свойство, когда выводимость некоторой произвольной формулы, например формулы А, не сопровождается выводимостью ее отрицания, те формулы «неверно, что А» называется:
Ответ: непротиворечивостью
Вопрос 154. Определенная совокупность предметов, имеющих некоторые общие признаки, — это:
Ответ: класс или множество
Вопрос 155. Предложение «Что смолкнул веселия глас?»