MathProblemsBank

6.5.18 Predicate calculus

condition: Find the domain of truth of the predicate: \[ \left\{\begin{array}{l} x^{2}-13 x+4 \geq x \\ 2 x^{2}+x-70<0 \end{array}\right. \]

-> Predicate calculus