Записать предложения в виде соотношений формул логики преликатов. методом резолюций выяснить, будет ли заключена логическим следствием из посылок. продемонстрировать результат с диаграммы эйлера венна ни одно с не есть d. все а суть d. некоторые в суть с. следовательно, все в не есть а