Discrete Mathematics Formalize the following argument by using the given predica

Question

Discrete Mathematics

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.

Explanation / Answer

B(x,y) = x barks at y

D(x) = x is a dog

C(x) = x is a cat

Dogs bark at cats : x,y (D(x) ^ C(y)) -> B(x,y). This is a premise.

Max is a dog : D(max). This is a premise.

Moonbeam is a cat: C(Moonbeam). This is a premise.

Therefore, Max barks at Moonbeam: B(Max,Moonbeam). This is the conclusion.

Related Questions

Navigate

• Browse (All)
• Browse D
• Subjects

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