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?
Some questions are easy.
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?
(i) ( primes p, p is odd.
(ii) ( Politician p, p is honest.
(iii) (x ( (, (y ( ( ( x2 + y2 = 9 )
(iv) ( Triangles T, The sum of the angles of T is not equal to 180
degrees.
Question 3.
Translate the following statement into simple English
(x ( x ( ( ( (y ( y ( ( ( ( x < y ) ) )
(a) Without using quantifiers and variables,
(b) Using quantifiers and variables.
Question 4.
Write down the symbolic equivalence of
~( (x ( (, P(x) ( Q(x) ) (
Mathematics Homework Solutions
#35714
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*
Translation of Math Symbols to English, Logic, Predicate Logic and Simplification are investigated. The solution is detailed and well presented.
What is this?
By OTA - Overall OTA Rating
Joe Lee, MS - 4.6/5
Purchase Cost Now
$2.19 CAD (was ~$7.98)
Included in Download
- Plain text response
- Attached file(s):
- Math[1].doc
Why you can trust BrainMass.com
- Your Information is Secure
- Best Online Academic Help Service
- Students find real academic Success
- Symbolic Logic : Predicate Logic - The asterisk implies a conditional usually indicated by an arrow. The & sign indicates "and". In Aristotelian logic (X)(FX*GX) logically implies (EX)(FX & GX). Is this true in predicate logic? I ...
- Mathematical logic: 2a=1a - Complete and fill in the reason for each step and explain the mathematical mistake if there is one 2a = 1a
- Proof/logic - To prove a statement "If P then Q", it is valid to prove which of the following statements instead? A. If not Q then not P B. If Q then P C. If not P then not Q D. Q only if P E. Both P and Q are ...
- Logic - Need help with logic and truth tables.
- Logic Problem - Prove the following logic: ¬A ⇒ ¬A
