Math Is Fun Forum

kev

Guest

Can someone give the step to test if formulas are unifiable? Simple Lo

Testify whether formulas are unifiable.

Question A)
pr(f(Y,X),g(Y,s)) and pr(f(Y,Y),g(likes(b,c),s))

Question B)
pred(f(Y,X),g(Y,s)) and pred(f(Y,Y),g(likes(b,Y),s))

Can someone give me the steps to do either of these? I would be very greatful,  any help with this at all will be fantastic has I don't have a clue where to start and have a test coming up with questions like this in it so really need a solution so I can work backwards to find out how its done.

This is predicate logic questions.

John E. Franklin

Member

Registered: 2005-08-29

Posts: 3,588

Re: Can someone give the step to test if formulas are unifiable? Simple Lo

likes returns yes or no.  Are variables always capital letters, and constants tiny letters, the first letter of the word I mean?

---

igloo myrtilles fourmis

kev

Guest

Re: Can someone give the step to test if formulas are unifiable? Simple Lo

likes returns yes or no.  Are variables always capital letters, and constants tiny letters, the first letter of the word I mean?

Sorry can you explain that again I don't understand what you mean.

John E. Franklin

Member

Registered: 2005-08-29

Posts: 3,588

Re: Can someone give the step to test if formulas are unifiable? Simple Lo

"likes" ends up being yes or no I think. 
Do variables start with Big Capital letters?
Variables are things that can change and hold different values at different times.
Constants are things that stay the same.

---

igloo myrtilles fourmis