Logic , Quantifiers , Logical Formula
Please note that I'll be using the following notations as follows, throughout the question.
VX - For all X (Universal Quantifier)
EX - For some X(Existential quantifier)
Consider the logic formulas G1 and G2 :
G1 : (VX)[ P(X) V Q(X) ] --> (VX)P(X) V (VX)Q(X)
G2 : (EX)P(X) --> (VX)P(X)
Can anyone please explain how do we obtain the intuitive meaning of G1 and G2 under the interpretation I over the set of integers ; under which
P(X) means that X is even and
Q(X) means that X is odd.