Decide whether the following predicate wffs is valid or inva

Decide whether the following predicate wffs is valid or invalid. If it is valid explain why; and if, it is invalid give an interpretation to justify your answer. (x) P(x) (x) Q(x) rightarrow (x) (P(x) Q(x))

Solution

Answer :

Consider the given well formed formula

( x ) P(x) ( x ) Q(x) ( x )( P(x) Q(x) )

The domain is Isla Sorna, ie Jurassic Park “ Site B”.

P(x) = Dinosaur x has a skull with 12 ” of solid bone.

Q(x) = Dinosaur x has 6 ” dagger-like teeth.

The wff is not valid according to Jurassic Park: The Lost World because, although Isla Sorna was populated by pachycephalosauruses ( P(x)) and Tyranosaurus Rexen (Q(x)), there were no mutant bone-domed carnivores