Use truth tables to prove that the following are
Chapter 0, Problem C.1.23(choose chapter or problem)
Use truth tables to prove that the following are tautologies:
(a) \((p \rightarrow q) \rightarrow[(p \wedge r) \rightarrow q]\) Law of Added Hypothesis
(b) \([(p \rightarrow q) \wedge p] \rightarrow q\) Law of Detachment
(c) \([(p \rightarrow q) \wedge \sim q] \rightarrow \sim p\) Modus Tollens
(d) \([(p \rightarrow q) \wedge(q \rightarrow r)] \rightarrow(p \rightarrow r)\) Chain Rule
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer