математическая логика

[Pavel_kainsk]

1.1.   А1: Если х есть часть у и у есть часть z, то х есть часть z.
А2: Палец есть часть руки.
А3: Кисть есть часть руки.
Вопрос: Частью кого является рука?

[Selyd]

1.1.   А1: Если х есть часть у и у есть часть z, то х есть часть z.
А2: Палец есть часть руки.
А3: Кисть есть часть руки.
Вопрос: Частью кого является рука?

x - Палец
y - Рука
z - Вася

[mad_math]

К этим посылкам задание было? Что с этим нужно сделать?

[axwer]

У меня такая же задача. К этим посылкам было написано:
Преобразовать теоремы в вопросы и получить ответы с помощью метода резолюции.

Я спрашивал у препода, может здесь какая-нибудь отпечатка, она ответила:
"Опечатки в задаче нет, но теорема не доказывается - это тоже решение задачи."

[mad_math]

axwer
Хорошо. Аксиомы А1-А3 формализовать на языке предикатов можете?