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.
Lions hunt antelopes. Ramses is a lion. Ramses does not hunt
Sylvester.
Therefore, Sylvester is not an antelope.
Predicates: H(x,y)=” x hunts y”, L(x)=”x is a lion” and A(x)=”x is
an
antelope”. The domain of discourse is all animals.
Get Answers For Free
Most questions answered within 1 hours.