Задание: Записать предложения в виде соотношений формул логики предикатов. Методом резолюций выяснить будет ли заключение логическим следствием из посылок. Продемонстрировать результат с помощью диаграмм Эйлера-Венна. данного типа:Ни одно С не есть D. Все А суть D. Некоторые В суть С. Следовательно, все В не есть А.
Приложил образец оформления
Стр 239, задание 8
| Гарантия на работу | 1 год |
| Средний балл | 4.54 |
| Стоимость | Назначаете сами |
| Эксперт | Выбираете сами |
| Уникальность работы | от 70% |