Formalize the following argument by using the given predicates and then rewritin

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)

Related Questions

Navigate

• Browse (All)
• Browse F
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.