Помогите пожалуйста!!!Формализовать умозаключение по модусу:... - вопрос №621590
Формализовать умозаключение по модусу: 2-Cesare в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций с использованием двух моделей формализации.