MathProblemsBank

6.5.17 Predicate calculus

condition: Draw the truth set of the predicate on the coordinate plane: \[ P(x, y)=(|x|>2) \supset(|y|<3) \text {. } \]

-> Predicate calculus