Unification is used to map two fol expressions by substituting variables with values. Hence the failure of Marcus and Ceasar is not because of unification but the statements and its substitutions
@@simransuri9427 as per unification, you simply substitute the values to variables. Don't confuse. But as per the story of Marcus/Caesar, the statement many be wrong. We cont substitute Marcus with Caesar, both characters are different
I see somewhere using this convention: John/x instead of x/Jack as you are doing. Are both right?
As per text book we did this,
What is lifting concept
Good work, well presented
Thank you!
Thank you very much for the amazing explanation. Helped a lot to understand the thing
You are welcome Nafis Ahmed,
Just keep watching and make use of it.
Nicely explained. Thank you.
mam can we write this whole explaination into our tyit paper is that ok ans sufficient ... plzz reply mam
Based on the question you can write the answer.
Thanks for good explanation mam
Thank you
thank u so much that was so helpful♥♥♥
Welcome, keep doing
Why f(Marcus) and f(Caesar) fails for unification? Will you please explain or tell
Unification is used to map two fol expressions by substituting variables with values.
Hence the failure of Marcus and Ceasar is not because of unification but the statements and its substitutions
@@WinningCSE I didn't get that mam, why we can't write (Marcus/Caesar) like we did for others?
@@simransuri9427 as per unification, you simply substitute the values to variables. Don't confuse. But as per the story of Marcus/Caesar, the statement many be wrong. We cont substitute Marcus with Caesar, both characters are different
@@WinningCSE ok thankyou mam
💔
vani mam come in real id