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

math Advanced-Math

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...
Some of the following arguments are valid by universal modus ponens or universal modus tollens; others...

Some of the following arguments are valid by universal modus ponens or universal modus tollens; others are invalid and exhibit the converse or the inverse error. State which are valid and which are invalid. Justify your answers. c) If a product of two numbers is 0, then at least one of the numbers is 0. I pick a number x such that neither (2x + 1) nor (x − 7) equals 0. Therefore, the product (2x + 1)(x − 7)...

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
1. Use a truth table to find if the following is valid or not valid: p...

1. Use a truth table to find if the following is valid or not valid: p → r q → r q ˅ ¬r Therefore, ¬p Valid Not Valid Discrete Math 2. Indicate whether each expression is an equivalence of the following: p ˄ q p ˅ q p → q ¬(p → q) (p ˄ q) ˅ (p ˄ q) ¬ (¬p ˅ ¬q) 3. For the given values for p, q, and r,...

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...