Question: (a) Give the reasons for the steps given to validate the argument [(p q) (r s) (p r)] (q

(a) Give the reasons for the steps given to validate the argument
[(p → q) ∧ (¬r ∨ s) ∧ (p ∨ r)] → (¬q → s).
Steps Reasons
(1) ¬ (¬q → s)
(2) ¬q ∧ ¬s
(3) ¬s
(4) ¬r ∨ s
(5) ¬ r
(6) p → q
(7) ¬ q
(8) ¬ p
(9) p ∨ r
(10) r
(11) ¬ r ∧ r
(12) ∴ ¬q → s
(b) Give a direct proof for the result in part (a).
(c) Give a direct proof for the result in Example 2.32

Step by Step Solution

★★★★★

3.39 Rating (158 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock

a 1 Premise The Negation of the Conclusion 2 Step 1 and q s q V s q s q s 3 Step 2 and the Rule ... View full answer

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Document Format (1 attachment)

954-M-L-A-L-S (7359).docx

120 KBs Word File

Students Have Also Explored These Related Linear Algebra Questions!

Provide the missing reasons for the steps verifying the following argument: Steps Reasons (1) x [p(x) ¨ q(x)] Premise (2) x ¬p(x) Premise (3) ¬ p(a) Step (2) and the definition of the...

Construct a truth table for (a) (p q) (r s) (b) (q ~ p) (r s)

Give the reason(s) for each step needed to show that the following argument is valid. [p (p q) (s r) (r q)] (s t) Steps Reasons (1) p (2) p q (3) q (4) r q (5) q r (6) r (7) s r (8) s (9)...

re Regular Languages and Finite Automata (a) Let L be the set of all strings over the alphabet {a, b} that end in a and do not contain the substring bb. Describe a deterministic finite automaton...

How many bracketings of length 2n will there now be? 1 [TURN OVER CST.93.2.2 2 Two teams A and B play a match in which the winner is the first team to win n games. If A needs i games to win and B...

Convex geometry 0.1 Dehn-Sommerville relations In this section we will talk about convex polytopes. One possible denition of a convex polytope uses the notion of a half-space: A closed half-space in...

DESIGN PROTOTYPES INC. PROJECT MANAGEMENT (B): PLANNING THE ALPHA C306 PROJECT Patricia A. Lapoint, McMurry University Carrol R. Haggard, Fort Hays State University CASE DESCRIPTION The primary...

"There is a growing interdependence between a firm's ability to use information technology and its ability to implement corporate strategies and achieve corporate goals." "To fully understand...

\fsh is ar stu ed d vi y re aC s o ou urc rs e eH w er as o. co m Math 280 Strategies of Proof Fall 2007 Class Notes 3.6 Proving Conditional Statements II: Indirect Proofs In Section 3.4, we studied...

For question 1 to 5 : Rinku goes to Delhi Food fair held at Pitampura last Sunday. He takes an entry ticket to the sweet and namkeen section of the fair. This section of the fair had four stalls...

While on assignment you discover that you have misplaced the balance sheet of Bird Corporation as of January 1, Year 1. However, you do have the following data on Bird Corporation: BIRD CORPORATION...

Companies use market segmentation to meet the needs of various consumer preferences. It is difficult, if not impossible, for one company to meet the needs or wants of every customer. Describe three...

In evaluating the margin of safety, the higher the dollar amount, the higher the risk the compary will operate at a loss. higher the margin of safety ratio, the lower the fored costs relative to...

What is the difference between the household survey and the establishment survey? Which survey do many economists prefer for measuring changes in employment? Why?

One number is 2 more than another. The product of the numbers is 35. Find the numbers.

In Exercise a) Find the vertex. b) Find the axis of symmetry. c) Determine whether there is a maximum or minimum value, and find that value. d) Find the range. e) Find the intervals on which the...

Express the number in terms of i. a. -36 b. -5 c. --16 d. -32

Use the ordinary annuity focmula shown to the right tis determine the aceumulated anount in the annuty 5900 investud monthly for 30 years at a 6.0% interest rate nonpcumiod menthly The accumalatod...

A/ Compute "A" B/ Compute "B" C/ Compute "C" D/ Compute "D" E/ Compute the minimum acceptable return threshold for fund ZZZ if the downside risk coefficient is 0.554% QUESTION 3 QUESTION 3

Your part-time job as Barista at the local coffee house has convinced you that you are ready to buy a $45,000 BMW. Unfortunately you have no money for a down payment. The local bank, Loansforall...