Concept explainers
In exercises 28-32, reorder the premises in each of the arguments to show that the conclusion follows as a valid consequence from the premises. It may be helpful to rewrite the statements in if—then form and replace some of them by their centrapositives. Exercises 28-30 refer to the kinds of Tarski worlds discussed in Examples 3.1.13 and 3.3.1. Exercises 31 and 32 are adapted from Symbolic Logic by Lewis Carroll.*
1. If an object is above all the triangles, then it is above all the blue objects.
2. If an object is not above all the gray objects, then it is not a square.
Every black object is a square.
4. Every object that is above all the gray objects is above all the triangles.
Want to see the full answer?
Check out a sample textbook solutionChapter 3 Solutions
Discrete Mathematics With Applications
- Discrete Mathematics and Its Applications ( 8th I...MathISBN:9781259676512Author:Kenneth H RosenPublisher:McGraw-Hill EducationMathematics for Elementary Teachers with Activiti...MathISBN:9780134392790Author:Beckmann, SybillaPublisher:PEARSON
- Thinking Mathematically (7th Edition)MathISBN:9780134683713Author:Robert F. BlitzerPublisher:PEARSONDiscrete Mathematics With ApplicationsMathISBN:9781337694193Author:EPP, Susanna S.Publisher:Cengage Learning,Pathways To Math Literacy (looseleaf)MathISBN:9781259985607Author:David Sobecki Professor, Brian A. MercerPublisher:McGraw-Hill Education