We want to determine whether or not the arguments below are

We want to determine whether or not the arguments below are valid. You need to do the following:

Define predicates & predicate variable(s). e.g., P(x) and Q(x)

Rewrite the argument formally.

Indicate whether the argument form that you have defined is valid with a justification.

A)

No insect is huge

A Griffinfly is huge

Therefore, a Griffinfly is not an insect

B)

All honest people pay their taxes.

Michael pays his taxes.

Therefore, Michael is honest.

Solution

A)p(x)=no insect is huge,

Q(x)=A griffinfly is huge,

Therefore a griffinfly is not insect. ( Valid argument)

B) p(x)= all honest people pay their taxes,

Q(x)=Michael pays his taxes,

Therefore, Michael is honest. Valid argument