Question: 1. ( A v B ) ? ~ ( C ? D ) 2. ( C -> D) 3. ~ ( A v B )

1. ( A v B ) ? ~ ( C ? D ) 2. ( C -> D) 3. ~ ( A v B ) -> E / ? E This class is for critical reasoning. By proving valid I mean in this format:

a. Premises: p ? (q ?r ), s ? r , r ? p. Prove: s ? q.

1. p ? (q ?r ) Premise

2. s ? r Premise

3. r ? p Premise

4. s Assumption

5. r Modus Ponens, 2,4

6. p Modus Ponens, 3,5

7. (q ?r ) Modus Ponens, 1,6

8. q Conjunction elimination, 7

9. s ? q Implication introduction, 4-8

That is just a sample problem but that's how I need it answered.

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

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

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

Q:

Construct proofs for the arguments below, using any of the following: Implicational Rules, Equivalence Rules, Conditional Proof (CP), Reductio ad Absurdum (RAA). (1). 1. (A v B) (C . D) 2. A C (2)....

Q:

Part I: use the 8 inference rules (Simp. Conj. D.S., H.S., DIL, M.P., M.T., Add) to prove the following arguments. You are NOT allowed to use any of the 10 replacement rules, nor C.P. or I.P. a) 1....

Q:

Complete the following proofs by filling in the blanks as appropriate. A. 1. ( R ~ S ) T 2. R -> Q 3. T W 4. Q -> ~ S / W 5. R ~ S 6. T 7. W B. 1. ~ ( A B ) 2. ~ C D 3. C B / D ~ ( ~ A v B )...

Q:

Goal Problem!5 Complete the following derivation: 1. ((A V (B & C)) D) Premise n. ((A D) & ((B & C) D)) Problem 6 Complete the following derivation: Goal (B- (DVE)) (G E) Premise Premise Premise...

Q:

THIS IS ALL THE CODE I WROTE LISTED BELOW Help with simple C++ question I'm currently in an intro to c++ course and I'm having trouble compiling my code, what is wrong with it? #include #include...

Q:

I'm currently in an intro to c++ course and I'm having trouble compiling my code, what is wrong with it? #include #include #include using namespace std; const int numCol = 5; void matrixDisplay(char...

Q:

Machine problem 5: Arrays | TO BE COMPLETED IN C++ -- Include screenshots of console please "For two thousand years, codemakers have fought to preserve secrets while codebreakers have tried their...

Q:

Machine problem 5: Arrays | TO BE COMPLETED IN C++ "For two thousand years, codemakers have fought to preserve secrets while codebreakers have tried their best to reveal them." - taken from Code...

Q:

6.11.4 Test (TS): Circles Without Coordinates Test Geometry Sem 1 (S3537251) Julio Duenas Points possible: 50 Date: ____________ Answer the following questions using what you've learned from this...

Q:

2. Public Good and Contribution. [32 marks.] Consider the following scheme for contributing to the provision of a public good, say the opening of a community library for a community of n families....

Q:

Ralph Jackson sells industrial lubricants to manufacturing plants. The lubricants are used to lubricate the plants machinery. Tomorrow, Ralph plans to call on the purchasing agent for Acme...

Q:

In Problem, find each indicated quantity if it exists. Let Find (A) (B) (C) x 1)2 lim f(x) lim f(x) lim f(x)

Q:

On May 1 , 2 0 2 3 , Ayayai Ltd . issued \ ( \ $ 5 0 1 0 0 0 , 1 0 \ ) year, \ ( 7 \ % \ ) bonds at 1 0 2 . Twenty detachable warrants were attached to each \ ( \ $ 1 0 0 0 \ ) bond, which entitled...

Q:

The market risk premium for next period is 6.04% and the risk-free rate is 1.28%. Stock Z has a beta of 1.36 and an expected return of 9.69%. What is the market's reward-to-risk ratio? Question 4 1...

Q:

7. Define cultural space.

Q:

5. Define and give an example of cross-cultural differences in facial expressions, proxemics, gestures, eye contact, paralanguage, chronemics, and silence.

Q:

8. Describe how cultural spaces are formed.