How to read the sign of the average

How to read the sign of the average


drawing



Symbolize the following propositions
1. It's hard to meet each other, but it's also hard to leave
If time is still, you can live forever


1、
p: It's hard to meet, it's hard to leave
p → q.
2、
p: Time is still, Q: you are immortal
p → q.
So easy



Symbolization of propositions
1. Symbolize the following propositions
(1) If I finish my homework before dinner and it doesn't rain, then we'll go to the ball game
(2) Despite the fine weather, Lao Wang won't come
2. The equivalence formula P → (Q → R) Q → (P → R) is verified by the equivalence algorithm
3. Find the main disjunctive normal form of the formula
4. Symbolize the following propositions with predicates and quantifiers
(1) Some real numbers are rational numbers
(2) There is no man who does not make mistakes


P: I finish my homework before dinner. Q: it doesn't rain. R: let's go to the ball game
P∧Q-->R
(2) P: fine weather, Q: Lao Wang Lai. P -- > √ Q
2,P→(Q→R) →^P∨(^Q∨R)→^P∨^Q∨R
Q→(P→R) →^Q∨(^P∨R)→^Q∨^P∨R
3. Find the main disjunctive normal form of formula: construct truth table; use equivalent formula to find the main disjunctive normal form of formula
4, (1) P (x): real number, q (x): rational number (existential x) (P (x) → Q (x))
(2) P (x): human, q (x): making mistakes; ^ ((existence x) (P (x) ^ Q (x)))
The "being" sign can't be typed,