The domain of the following predicates is all integers greater than 1.
P(x) = “x is prime”
Q(x,y) = “x divides y”
Consider the following statement.
“For every x that is not prime, there is some prime y that divides it”
i. Write the statement in predicate logic.
ii. Formally negate the statement so that no quantifier lies in the scope of the
iii. Write the English translation of your negated statement
I tried this and I got
iii. There exists a x that is prime, there is y for every prime that does not divide it.
What difference does it make? This instruction says, after negating the formula, to move the negation inside so that it is inside the quantifiers' scopes. It has nothing to do with the original formula, which in any case has no quantifiers in the scope of the negation.The reason I did not use that was these instructions: i. Formally negate the statement so that no quantifier lies in the scope of the negation.