Возможно и так: и основа и следствие большей предпосылки является как утвердительной, так и буду отрицать вальними суждениями: р~q, p . ~qВидиляючи условные суждения достоверны во всех четырех модусах. Разделительно-категорический - умозаключение, в котором одна из предпосылок, - разделительный,....