Math Is Fun Forum
Discussion about math, puzzles, games and fun. Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ π -¹ ² ³ °
You are not logged in.
- Topics: Active | Unanswered
Pages: 1
#1 2008-01-26 02:48:31
- kev
- Guest
How to check if forumal is unifiable?
pr(f(Y,X),g(Y,s)) and pr(f(Y,Y),g(likes(b,c),s))
#2 2008-01-28 07:16:20
- kev
- Guest
Re: How to check if forumal is unifiable?
anyone?
#3 2008-01-29 09:33:34
- John E. Franklin
- Member
- Registered: 2005-08-29
- Posts: 3,588
Re: How to check if forumal is unifiable?
Can you give some "keywords" or "subject areas" for this?
igloo myrtilles fourmis
Offline
#4 2008-01-29 10:21:21
- kev
- Guest
Re: How to check if forumal is unifiable?
it comes under the area of Simple Logic, Unification
Pages: 1