Concept explainers
In a complicated argument with many variables, it is not practical to use truth tables because of their size. We can, however, use valid argument forms to reason without using truth tables. For example, consider the following argument:
We assume that all the premises are true, and we reason like this to prove that the argument is valid:
1. We assumed that p and
2. Now both p and q are true, so
3. By the law of detachment again,
4. Because the statement
5. Knowing that r and
Therefore, by assuming that all the premises are true, we were able to reason that the conclusion s also must be true. This means that the argument is valid. In Exercises 53 and 54, reason similarly to prove that each argument is valid.
Want to see the full answer?
Check out a sample textbook solutionChapter 3 Solutions
MATHEMATICS ALL AROUND-PKG. UNIV ARK MO
- 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