Question

In: Computer Science

A set of hypothesis and a conclusion are given. Use the valid argument forms to deduce...

A set of hypothesis and a conclusion are given. Use the valid argument forms to deduce the conclusion from the hypothesis.

(i) p v q,

(ii) q ->r,

(iii)(p^s) ->t,

(iv) not r,

(v) (not q) -> (u ^ s)

(vi) t

Solutions

Expert Solution

Hypothesis:

1) p V q

2) q->r

3) (p s) -> t

4) ~r

5) ~q -> (u s)

Conclusion:

t

Proof:

q->r can be written as ~r->~q [Contrapositive]

Therefore we get 6) ~r->~q.

From 4) and 6) we get:-

7) ~q [Modus Ponens]

From 7) and 5) we get:-

8) u s [Modus Ponens]

From 8) we get:-

9) s [Simplification]

From 1) and 7) we get:-

10) p [Disjunctive Syllogism]

From 9) and 10) we get:-

11) p s [Conjunction]

From 11) and 3) we get:-

t [Modus Ponens]

Hence, Proved.


Related Solutions

Construct your own valid DEDUCTIVE arguments by applying the FIVE argument forms (rules) on the worksheet...
Construct your own valid DEDUCTIVE arguments by applying the FIVE argument forms (rules) on the worksheet below. You will need to insert your own example for each rule, following the form of the argument. A TRANSLATION KEY MUST BE PROVIDED FOR EACH EXERCISE (see above for an example). FORMS/RULES: Modus Ponens 1) If p, then q. 2) p. ------------------- 3) Thus, q. Modus Tollens 1) If p, then q. 2) Not q. ------------------- 3) Thus, not p. Hypothetical Syllogism 1)...
Explain the difference between a valid argument and a sound argument, and give an example of...
Explain the difference between a valid argument and a sound argument, and give an example of each.
Determine each of the following arguments’ forms to be valid or invalid. You may use the...
Determine each of the following arguments’ forms to be valid or invalid. You may use the Venn Diagram proof method, the rules/fallacies method, or any other method, of your choice. 1. Some athletes are not baseball players and some baseball players are not basketball players. Therefore, some athletes are not basketball players.2. All creationists are fundamentalists because all fundamentalists are religious people and all creationists are religious people. 3. As no conservationists are litterers, no environmentalists are litterers, because all...
Suppose the economy is in a recession. Which of the following is a valid argument for...
Suppose the economy is in a recession. Which of the following is a valid argument for using expansionary fiscal policy, instead of monetary policy? Select one: a. Fiscal policy is more effective than monetary policy in a deep recession b. Fiscal policy is slower than monetary policy c. Fiscal policymakers are subject to more political influence, so some of their spending tends to be wasteful. d. Government spending could lead to lower growth through the crowding-out effect
1) What does it mean to say that an argument is valid?
1) What does it mean to say that an argument is valid?
Introduction to logic: Translate each argument using the letters provided and prove the argument valid using...
Introduction to logic: Translate each argument using the letters provided and prove the argument valid using all eight rules of implication. Sam will finish his taxes and Donna pay her property taxes or Sam will finish his taxes and Henry will go to the DMV. If Sam finishes his taxes, then his errands will be done and he will be stress-free for a time. Therefore, Sam will finish his taxes and he will be stress-free for a time. (S, D,...
Use Matlab to find a subset of the set of vectors that forms a basis for...
Use Matlab to find a subset of the set of vectors that forms a basis for the span of the vectors. (a) {(1, 2, −1, 0), (−3, −6, 3, 0), (1, 0, 0, 1), (−2, −2, 1, −1)}
Is the following argument valid? If so, construct a formal proof (direct or indirect). If not,...
Is the following argument valid? If so, construct a formal proof (direct or indirect). If not, explain why not. If Alex gets a new job, then he will buy a guitar. If Alex wins the lottery, then he will buy a guitar. If Alex goes to Costa Rica, then either Alex got a new job or Alex won the lottery. Alex goes to Costa Rica. Therefore, Alex bought a guitar.
SYMBOLIC LOGIC QUESTION: Recall that a valid argument is one in which it is impossible for...
SYMBOLIC LOGIC QUESTION: Recall that a valid argument is one in which it is impossible for the conclusion to be false, if the premises are true. Explain how, in this context, the Negation Introduction rule demonstrates the concept of validity.
IS THE INCOMPETENCY TO STAND TRIAL A VALID ARGUMENT FOR THE DEFENSE TO PRODUCE? EXPLAIN YOUR...
IS THE INCOMPETENCY TO STAND TRIAL A VALID ARGUMENT FOR THE DEFENSE TO PRODUCE? EXPLAIN YOUR POSITION.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT