Essentials of Discrete Mathematics
3rd Edition
ISBN: 9781284056242
Author: David J. Hunter
Publisher: Jones & Bartlett Learning
expand_more
expand_more
format_list_bulleted
Concept explainers
Videos
Question
Chapter 1.3, Problem 12E
To determine
(a)
Translation of the given statement into predicate logic.
To determine
(b)
Translation of the given statement into predicate logic.
Expert Solution & Answer
Want to see the full answer?
Check out a sample textbook solution
Students have asked these similar questions
Prove the statement
Direction: Write each statement using variables.
a. For all real numbers x, if x is nonzero then x' is positive.
b. For every real number, then its square is greater than or equal to zero.
c. For all real number x and y, such that x+y y+x.
d. There exist an x such that x is a ballpen.
e. Every person who lives in Tuguegarao City lives in Cagayan.
f. For all x that is negative, so is its cube.
g. There exist a real number that is a non-positive.
h. There exist a counting number less than 1.
i. Some prime number is even.
j. Some professors are republican.
k. No triangles are rectangles.
1. Some guilty people re not convicted.
m. Some people are aggressive when they are drunk.
n. All songs written in a major key sound melancholy.
o. All teachers are intelligent.
Write the following statements in predicate logic. Define what your predicates are. Use the
domain of all quadrilaterals.
a. All rhombuses are parallelograms.
b. Some parallelograms are not rhombuses.
c. Not all parallelograms are rectangles.
Chapter 1 Solutions
Essentials of Discrete Mathematics
Ch. 1.1 - Prob. 1ECh. 1.1 - Prob. 2ECh. 1.1 - Prob. 3ECh. 1.1 - Prob. 4ECh. 1.1 - Prob. 5ECh. 1.1 - Prob. 6ECh. 1.1 - Prob. 7ECh. 1.1 - Prob. 8ECh. 1.1 - Prob. 9ECh. 1.1 - Prob. 10E
Ch. 1.1 - Prob. 11ECh. 1.1 - Prob. 12ECh. 1.1 - Prob. 13ECh. 1.1 - Prob. 14ECh. 1.1 - Prob. 15ECh. 1.1 - Prob. 16ECh. 1.1 - Prob. 17ECh. 1.1 - Prob. 18ECh. 1.1 - Prob. 19ECh. 1.1 - Prob. 20ECh. 1.1 - Prob. 21ECh. 1.1 - Prob. 22ECh. 1.1 - Prob. 23ECh. 1.1 - Prob. 24ECh. 1.1 - Prob. 25ECh. 1.1 - Prob. 26ECh. 1.1 - Prob. 27ECh. 1.1 - Prob. 28ECh. 1.1 - Prob. 29ECh. 1.1 - Prob. 30ECh. 1.1 - Prob. 31ECh. 1.1 - Prob. 32ECh. 1.2 - Prob. 1ECh. 1.2 - Prob. 2ECh. 1.2 - Prob. 3ECh. 1.2 - Prob. 4ECh. 1.2 - Prob. 5ECh. 1.2 - Prob. 6ECh. 1.2 - Prob. 7ECh. 1.2 - Prob. 8ECh. 1.2 - Prob. 9ECh. 1.2 - Prob. 10ECh. 1.2 - Prob. 11ECh. 1.2 - Prob. 12ECh. 1.2 - Prob. 13ECh. 1.2 - Prob. 14ECh. 1.2 - Prob. 15ECh. 1.2 - Prob. 16ECh. 1.2 - Prob. 17ECh. 1.2 - Prob. 18ECh. 1.2 - Prob. 19ECh. 1.2 - Prob. 20ECh. 1.2 - Prob. 21ECh. 1.2 - Prob. 22ECh. 1.2 - Prob. 23ECh. 1.2 - Prob. 24ECh. 1.2 - Prob. 25ECh. 1.2 - Prob. 26ECh. 1.2 - Prob. 27ECh. 1.2 - Prob. 28ECh. 1.3 - Prob. 1ECh. 1.3 - Prob. 2ECh. 1.3 - Prob. 3ECh. 1.3 - Prob. 4ECh. 1.3 - Prob. 5ECh. 1.3 - Prob. 6ECh. 1.3 - Prob. 7ECh. 1.3 - Prob. 8ECh. 1.3 - Prob. 9ECh. 1.3 - Prob. 10ECh. 1.3 - Prob. 11ECh. 1.3 - Prob. 12ECh. 1.3 - Prob. 13ECh. 1.3 - Prob. 14ECh. 1.3 - Prob. 15ECh. 1.3 - Prob. 16ECh. 1.3 - Prob. 17ECh. 1.3 - Prob. 18ECh. 1.3 - Prob. 19ECh. 1.3 - Prob. 20ECh. 1.3 - Prob. 21ECh. 1.3 - Prob. 22ECh. 1.3 - Prob. 23ECh. 1.3 - Prob. 24ECh. 1.3 - Prob. 25ECh. 1.4 - Prob. 1ECh. 1.4 - Prob. 2ECh. 1.4 - Prob. 3ECh. 1.4 - Prob. 4ECh. 1.4 - Prob. 5ECh. 1.4 - Prob. 6ECh. 1.4 - Prob. 7ECh. 1.4 - Prob. 8ECh. 1.4 - Prob. 9ECh. 1.4 - Prob. 10ECh. 1.4 - Prob. 11ECh. 1.4 - Prob. 12ECh. 1.4 - Prob. 13ECh. 1.4 - Prob. 14ECh. 1.4 - Prob. 15ECh. 1.4 - Prob. 16ECh. 1.4 - Prob. 17ECh. 1.4 - Prob. 18ECh. 1.4 - Prob. 19ECh. 1.4 - Prob. 20ECh. 1.4 - Prob. 21ECh. 1.4 - Prob. 22ECh. 1.4 - Prob. 23ECh. 1.4 - Prob. 24ECh. 1.4 - Prob. 25ECh. 1.4 - Prob. 26ECh. 1.4 - Prob. 27ECh. 1.4 - Prob. 28ECh. 1.4 - Prob. 29ECh. 1.4 - Prob. 30ECh. 1.5 - Prob. 1ECh. 1.5 - Prob. 2ECh. 1.5 - Prob. 3ECh. 1.5 - Prob. 4ECh. 1.5 - Prob. 5ECh. 1.5 - Prob. 6ECh. 1.5 - Prob. 7ECh. 1.5 - Prob. 8ECh. 1.5 - Prob. 9ECh. 1.5 - Prob. 10ECh. 1.5 - Prob. 11ECh. 1.5 - Prob. 12ECh. 1.5 - Prob. 13ECh. 1.5 - Prob. 14ECh. 1.5 - Prob. 15ECh. 1.5 - Prob. 16ECh. 1.5 - Prob. 17ECh. 1.5 - Prob. 18ECh. 1.5 - Prob. 19ECh. 1.5 - Prob. 20ECh. 1.5 - Prob. 21ECh. 1.5 - Prob. 22ECh. 1.5 - Prob. 23ECh. 1.5 - Prob. 24ECh. 1.5 - Prob. 25E
Knowledge Booster
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, subject and related others by exploring similar questions and additional content below.Similar questions
- Does the relation is a friend of have a reflexive property consider one person? A symmetric property consider two people? A transitive property consider three people?arrow_forwardDoes the relation is less than for a numbers have a reflexive property consider one number? A symmetric property consider two numbers? A transitive property consider three numbers?arrow_forwardDirection: write the following statements into conditional statement, converse statement, inverse statement, and contrapositive statement. 1. the diagonals of a rectangle are congruentarrow_forward
- Consider these statements. All squares are equiangular. Some rhombuses are squares. Which concusion can be made using both statements? O All rhombuses are squares. O Some rhombuses are rectangles. O Arhombus is always equiangular. O Some rhombuses are equiangular.arrow_forwardDetermine (p=r) v(q+r) If V and (pag)->. logically equivalent are or not.arrow_forwardSimplify. Assume all the variables are nonnegative.arrow_forward
- Use variables to rewrite the following sentences more formally. Write your answers in the space below.a. Are there numbers whose squares are smaller than the numbers themselves?b. A prime number is an integer greater than 1 and whose only positive divisors are 1 and itself.arrow_forwardUse a counterexample to show that the statement is false.If a and b are real numbers and a < b, then a2 < b2.arrow_forward7. Write as mathematical sentences. a.) Eight less than ten is two. b.) Seven is an odd number. c.) Five is the principal square root of 25. d.) The product of x and y is greaterthan or equal to six. e.) The absolute value of any real number is greater than or equalto zero.arrow_forward
- Translate the statement into symbols. (Let r: I am obligated to pay the rent; s: I signed the contract.) I am obligated to pay the rent because I signed the contract. O (rvs) v (sr) Os r (r^s) ^ (sr) Or s O (r^s) v (sr)arrow_forwardIdentify the statement as simple or compound. If the statement is compound, identify the connectives used. Statement: Mrs. Stewart is teaching algebra or she is teaching geometry.arrow_forwardUse the drop menu to explain if the two figures below are congruent, similar, or neither. By using the menu drop determine if it’s a “is can or a is cannot”arrow_forward
arrow_back_ios
SEE MORE QUESTIONS
arrow_forward_ios
Recommended textbooks for you
Elementary Geometry For College Students, 7eGeometryISBN:9781337614085Author:Alexander, Daniel C.; Koeberlein, Geralyn M.Publisher:Cengage,
Elementary Geometry For College Students, 7e
Geometry
ISBN:9781337614085
Author:Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:Cengage,
Propositional Logic, Propositional Variables & Compound Propositions; Author: Neso Academy;https://www.youtube.com/watch?v=Ib5njCwNMdk;License: Standard YouTube License, CC-BY
Propositional Logic - Discrete math; Author: Charles Edeki - Math Computer Science Programming;https://www.youtube.com/watch?v=rL_8y2v1Guw;License: Standard YouTube License, CC-BY
DM-12-Propositional Logic-Basics; Author: GATEBOOK VIDEO LECTURES;https://www.youtube.com/watch?v=pzUBrJLIESU;License: Standard Youtube License
Lecture 1 - Propositional Logic; Author: nptelhrd;https://www.youtube.com/watch?v=xlUFkMKSB3Y;License: Standard YouTube License, CC-BY
MFCS unit-1 || Part:1 || JNTU || Well formed formula || propositional calculus || truth tables; Author: Learn with Smily;https://www.youtube.com/watch?v=XV15Q4mCcHc;License: Standard YouTube License, CC-BY