Размещено 5 лет назад по предмету
Информатика
от daniyasnejnaya
СРОЧНО Записать предложения в виде соотношений формул логики преликатов. Методом резолюций выяснить, будет ли заключена логическим следствием из посылок. Продемонстрировать результат с помощью диаграммы Эйлера Венна
Ни одно С не есть D. Все А суть D. Некоторые В суть С. Следовательно, все В не есть А