Formalize the following argument by using the given predicates and then rewritin
ID: 3111569 • Letter: F
Question
Formalize the following argument by using the given predicates and then rewriting the argument as a numbered sequence of statements. Identify each statement as either a premise, or a conclusion that follows according to a rule of inference from previous statements. In that case, state the rule of inference and refer by number to the previous statements that the rule of inference used. Dogs bark at cats. Max is a dog. Moonbeam is a cat. Therefore, Max barks at Moonbeam. Predicates: B(x,y)=”x barks at y”. D(x) = “x is a dog”. C(x) =”x is a cat”. The common domain of discourse is all animals. please help me with the steps, I dont understand how to identify the premise or the conclusion
Explanation / Answer
1) Dogs bars at cats.
B(Dogs,cat)
2) Max is a dog
Dog(Max)
3) Moonbeam is a cat.
C(Moonbeam)
conclusion:
Max barks at Moonbeam
barks(Max,Moonbeam)
1) B(Dogs,cat)
2) Dog(Max)
3) C(Moonbeam)
--------------------------------
B(Max,Moonbeam)