Explanation Given: The given argument is, If the defendant is guilty, he goes to jail. The defendant does not go to jail. Therefore, the defendant is not guilty. Description: The disjunction p ∨ q joins the two statements with the word “or”. The disjunction is true if at least one of the components of the disjunction is true. The disjunction is false if both the statements are false. The conjunction p ∧ q joins the two statements with the word “and”. The conjunction is true if both the components of the conjunction is true. The conjunction is false if at least one of the statements is false. The conditional statement p → q is made up of two statements p and q . It follows the form “If p , then q ”. If the statement p is true the conditional statement will depend on whether the statement q is true or false. If the statement p is false the conditional statement will be false and does not depend on whether the statement q is true or false. The negation ∼ p is the opposite of the statement p . If the component of the statement is true the negation of statement is false and vice-versa. Approach: In the given statement, If the defendant is guilty, he goes to jail. The defendant does not go to jail. Therefore, the defendant is not guilty. p : The defendant is guilty. q : The defendant goes to jail. Premise 1 is “If the defendant is guilty, he goes to jail.” The symbolic form of premise 1 is p → q . Premise 2 is “The defendant does not go to jail.” The symbolic form of premise 2 is ∼ q . Conclusion is “Therefore, the defendant is not guilty.” The symbolic form of conclusion is ∼ p . The symbolic form of the given argument is, p → q ∼ q _ ∼ p The given argument is represented by the conditional [ ( p → q ) ∧ ( ∼ q ) ] → ( ∼ p )

8th Edition

ISBN: 9781305104174

Author: David B. Johnson, Thomas A. Mowry

Publisher: Cengage Learning

See similar textbooks

Concept explainers

Logic and Proofs

Discrete mathematics deals with the separated values of data such as integers. It is widely used in the practical field of computer science and mathematics. By knowing discrete mathematics one can improve their reasoning and problem-solving capabilities.…

Videos

Question

Chapter 1.CR, Problem 58CR

To determine

The validity of the given argument by using truth table.

Expert Solution & Answer

Want to see the full answer?

Check out a sample textbook solution

See solution

Chapter 1.CR, Problem 57CR

Chapter 1.CR, Problem 59CR

Students have asked these similar questions

not use ai please

3) Let G be the group generated by elements a and b satisfying the relations a² = 63, 66 = 1, and a ¹ba = b¹. Which of the following is equivalent to the element z = a a-2ba3b3? A) b-2a-1 B) ab² C) ab D) ba E) b²a

1) Find all complex solutions to cos(z) =

Chapter 1 Solutions

Mathematics: A Practical Odyssey

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.