On the symbolization of discrete mathematical propositions Some people like all the flowers Let P (x): X be a person; Q (y): y be a flower; R (x, y): X like y     All athletes admire certain coaches Let P (x): X be the athlete; Q (y): y be the coach; R (x, y): X admire y      Why is that so? I don't think the two answers should be the same as the third question?

On the symbolization of discrete mathematical propositions Some people like all the flowers Let P (x): X be a person; Q (y): y be a flower; R (x, y): X like y     All athletes admire certain coaches Let P (x): X be the athlete; Q (y): y be the coach; R (x, y): X admire y      Why is that so? I don't think the two answers should be the same as the third question?

In the total individual field, the scope of each individual variable is restricted by attribute predicates
① For the full quantifier, this characteristic predicate is often used as the antecedent of implication;
② For existential quantifiers: this property predicate is often used as conjunction term

Write the compound propositions of "P or Q", "P and Q" and "non-p" forms respectively
(1) P: 5 is the divisor of 15, Q: 5 is the divisor of 20
(2) P: the diagonals of rectangles are equal, Q: the diagonals of rectangles are equally divided

5 is a divisor of 15 or 5 is a divisor of 20
5 is a divisor of 15 and 5 is a divisor of 20
5 is not a divisor of 15
The diagonals of rectangles are equal or equally divided
The diagonals of the rectangles are equal and equally divided
The diagonals of the rectangles are not equal

If the proposition "a contained in B" is regarded as a proposition of P or Q, then the form of this proposition is? In which the two propositions constituting it are?

Analysis: ∵ AB includes two cases: a = B or ab. the form of ∨ compound proposition is "P ∨ Q" and P: a = B, Q: ab
Answer: "P ∨ Q" P: a = B, Q: ab

If P then q's non-p form is if not p then q or if P then not q

If P, then not Q