Current location - Training Enrollment Network - Mathematics courses - Translation of Discrete Mathematical Propositions
Translation of Discrete Mathematical Propositions
1. Solution: If we set P: He doesn't go to school, this proposition is directly symbolized as P, but "He doesn't go to school" is not an atomic proposition, so let's set P: He goes to school. This proposition is symbolized as: ┐ P

2. Solution: Suppose P: traffic jam, Q: Lao Wang arrives at the railway station on time.

The proposition is symbolized as: p ∧ q.

3. Solution: Suppose P: You attend classes, Q: He also attends classes.

The proposition is symbolized as: p ∧ q.

Please translate the sentence "He is a teacher" into a propositional formula. "He is a teacher" is an atomic proposition, which is directly expressed by p, that is, the proposition is symbolized as: p 。

If it doesn't snow tomorrow, I will climb the mountain. .

Solution: Suppose P: It won't snow tomorrow, Q: I'll climb the mountain. This proposition is symbolized as: p → q.

6. Solution: Suppose P: He passed the exam and Q: He failed. The proposition is symbolized as p ∧ q.