# Translation of Math Symbols to English, Logic, Predicate Logic and Simplification

Question 1.

Translate each of the following statements into the notation of logic and predicate logic and simplify the negations of all. Which statements do you think are true?

(i) Some questions are easy.

(ii) Any integer with an even square is even.

(iii) All students cannot correctly answer some questions in this assignment.

Question 2.

Translate each of the following statements into English. Which statements do you think are true?

*See attachment for options*

Question 3.

Translate the following statement into simple English: *see attachment*

(a) Without using quantifiers and variables,

(b) Using quantifiers and variables.

Question 4.

Write down the symbolic equivalence of: *see attachment.*

https://brainmass.com/math/discrete-math/math-symbols-logic-predicate-logic-simplification-35714

#### Solution Preview

Please see the attached file for the complete solution.

Question 1.

Translate each of the following statements into the notation of logic and predicate logic and simplify the negations of all. Which statements do you think are true?

(i) Some questions are easy.

ï€¤ question q, q is easy: Cannot answer since 'easy' is not defined.

(ii) Any integer with an even square is even.

ï€¢ ingeters i ( i2 is even ïƒž i is even) : True

(iii) All students cannot ...

#### Solution Summary

Translation of math symbols to English, logic, predicate logic and simplification are investigated and discussed. The solution is detailed and well presented.