Use MP, MT, DS, and HS to prove that the following arguments are valid. Am I doing this correctly...

Question

Question

Use MP, MT, DS, and HS to prove that the following arguments are valid. Am I doing this correctly and what step am i missing?

1. A ---> (B ---> C)

2. ~ C

3. ~ D ---> A

4. C ∨ ~D PROVE: /∴ ~ B

5. ~D (2,4) Disjunctive Syllogism

6. A (3,5) Modus Ponens

7. B --->C (1,6) Modus Ponens

8.~ B

Answer 1

Answer #1

Given Primige aye. 2. NC 4. CYWD. Provt. . 1.: r B Preof:- () NJC Rule (P) (1) Eu)心, , ps (dajunch ve.syllegismJ n, D (E) A

Answer 2

Similar Homework Help Questions

use MP, MT, DS, and HS to prove that the followinf arguments are valid. solve #7,...

use MP, MT, DS, and HS to prove that the followinf arguments are valid. solve #7, #9. (6) 1. ~ M 2. NG 3. Ny M/:. G (7) 1. ~ DE 2. DF 3. ~ F/:. E (8) 1. GvH 2. ΗνΙ 3. ~ I/:. G (9) 1. ~ G (A v B) 2. B 3. AD 4. - G/:. D tv $ % 2 3 4. 5 6
The only 9 rules of inference allowed are: 1. Modus Ponens (MP) 2. Modus Tollens (MT)...

The only 9 rules of inference allowed are: 1. Modus Ponens (MP) 2. Modus Tollens (MT) 3. Hypothetical Syllogism (HS) 4. Disjunctive Syllogism (DS) 5. Constructive Dilemma (CD) 6. Simplification (Simp) 7. Conjunction (Conj) 8. Addition (Add) 9 absorption SECTION ONE: Formal proofs of validity using natural deductions Prove the following argument valid using the nine rules of inference. Copy-and-paste key of symbols: • v - = i Argument Two (1) A5B (2) ( A B ) > C (3)...
Can you please help me solve this problem. Not K is my goal. Rules Think about...

Can you please help me solve this problem. Not K is my goal. Rules Think about the following rules for this problem: ADD,MP, SIMP, MT (O v L)-(MAN) К—N MT О MP Modus Tollens Modus Ponens DS Adc Disjunctive Syllogism Addition Simp Conj Simplification Coniunction HS i CD Hypothefical Sylogism Constructive Dilemm DN DeM Double Negation DeMorgan's o Impl CP (i (i Implication Contrapositive o Equiv D Equivalence o Com o Assoc Commutative Associative Dist Distributive Level: 2/7 Problem: 3/4...

I just need help with detailed explanations for b and c Use the rules of inference...

I just need help with detailed explanations for b and c Use the rules of inference and the laws of propositional logic to prove that each argument is valid. Number each line of your argument and label each line of your proof "Hypothesis" or with the name of the rule of inference used at that line. If a rule of inference is used, then include the numbers of the previous lines to which the rule is applied. (a) p q...
Options Y iff P if not Y then not C not P iff not C Rules MP DS SIMP HS DN MT ADD CONJ CD DEM IMP...

Options Y iff P if not Y then not C not P iff not C Rules MP DS SIMP HS DN MT ADD CONJ CD DEM IMPL TRANS EQUIV COM ASSOC DIST EXP ABS TAUT İTY then C Instantiate TOTALS Level 1: 018 Level 2: 0/7 Level 3: 0/10 CURRENT 3-8 Hint Options Y iff P if not Y then not C not P iff not C Rules MP DS SIMP HS DN MT ADD CONJ CD DEM IMPL TRANS...
There is an argument form other than modus ponens or modus tollens in each of the following arguments.

There is an argument form other than modus ponens or modus tollens in each of the following arguments. Match argument and argument form.One needs to be a gold club member and at least 18 years old to use the gym at the Palace Hotel. Daryl is 19 years old. Daryl is also a gold club member. Therefore, Daryl can use the gym at the Palace Hotel.Quetzalcoatl was the Aztec patron deity of, among others, metal and stone work. Therefore, he...

Use propositional logic to prove that the following arguments are valid. Do not use truth tables....

Use propositional logic to prove that the following arguments are valid. Do not use truth tables. 1. ( A C)^(C --B) AB: A 2. (P→ (QAR)) AP: (PA) 3. Z. (ZAZ) 4. A: (AV B)^(AVC) 5. (I → H) A (FV-H) AI: F
Please help me get these correct, I am not sure what I am doing wrong here...

Please help me get these correct, I am not sure what I am doing wrong here so please show how you got the answer and show every step. Please. I’ll rate good. are siven by a component of a along the direction of b 12+8. and b-21+5.Fndla) ax D.a(a+) .and l) th (a) Number 17.3 Units This answer has no units (b) Number i 173 Units This answer has no units t ] units [Thisanswer has no units (c) Number...
Have to get an idea of how i am doing on this problem. Whould be nice...

Have to get an idea of how i am doing on this problem. Whould be nice to get a good explaination for each part of the problem. d1 and d2 is the two different metrics, p ,Y. Problem 2. Consider first the following definition: Definition. Let X be a set and let pand be two metrics on X. We say that p and are equivalent if the open balls in (X, p) and (x,y) are "nested". More precisely, p and...

Just need to check if I am doing this correctly, I want to make sure my...

Just need to check if I am doing this correctly, I want to make sure my answers are correct for the parts I have answered... also I am confused how to answer question C. Thanks!!!! 2. Tom and Lindsey have just given birth to their fourth child, a girl named Katie. Soon after Katie's birth, Tom and Lindsey leamed that a routine newborn screening test showed that Katie has phenylketonuria (PKU), a genetic disorder in which phenylalanine cannot be digested...