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

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

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

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