程序代写代做代考 C 11/9/2020 Grok | COMP30026 Practice Exam

11/9/2020 Grok | COMP30026 Practice Exam
Queson 4 Part C (3 marks)
Queson 4 Part C (3 marks)
Using constants for “Garfield” and for “Harold”, we can express various statements about cats, mice and men in clausal form, as follows:
Garfield is a cat who likes pasta dishes:
1. 2.
Garfield is a friend of Harold: 3.
Harold likes anyone who likes Garfield: 4.
Whatever Garfield likes, he eats: 5.
Cats like mice: 6.
Friendship is mutual: 7.
If you are a friend of somebody, you like them: 8.
Given these clauses, provide a proof by resoluon to show that Harold likes himself. The proof must have the resoluon tree shape shown below.
https://groklearning.com/learn/unimelb-comp30026-2020-s2/prac-exam/11/ 1/1
Cheng
})y ,x(L ,)y ,x( F¬{ })x ,y( F ,)y ,x( F¬{ })y(M¬ ,)x(C¬ ,)y ,x(L{ })x ,c(E ,)x ,c(L¬{ })c ,x(L¬ ,)x ,b(L{ })b ,c( F{ })x ,c(L ,)x( P¬{
bc
})c(C{