Логика предикатов

Бюджет: 100 руб
1.26 $ – 1.10 €
1.   Животные,  которые не брыкаются,  всегда невозмутимы.
2.   У осла нет рогов.
3.   Буйвол всегда может перебросить вас через ограду.
4.   Животных, которые не брыкаются, не легко проглотить.
5.   Животное, у которого нет рогов, не может перебросить  
вас через ограду.
6.   Все животные, кроме буйвола, легко приходят в ярость.
Построить верную логическую последовательность и доказать ее с помощью обратного рассуждения и методом резолюции.
Опубликован 02.06.2015 в 21:29

Выберите способ верификации:

Обновите страницу после прохождения верификации.