MathProblemsBank

6.5.4 Predicate calculus

Problem: Write the following statements in the language of predicate logic: "For any three numbers, if their product is odd, then all three numbers are odd".