Construct proofs for given valid arguments using the eight rules of inference.
Not what you're looking for?
Using the eight rules of inference (Simplication, Conjunction, Addition, Constructive Dilemma, Modus Ponens, Modus Tollens, Disjunctive Syllogism and Hypothetical Syllogism), construct a proof for each of the following valid arguments.
A)
1. (C & ~E) > (E v T) ------- Premise
2. C ------- Premise
3. ~E / T ------- Premise / Conclusion
B)
1. (R v P) > (G v M) ------- Premise
2. R & U ------- Premise
3. (G > E) & (M > F) ------- Premise
4. (E v F) > C / C ------- Premise / Conclusion
C)
1. (P v S) > (L > R) & (I > M) ------- Premise
2. (P v N) > (L v I) ------- Premise
3. (P & W) / (R v M) ------- Premise / Conclusion
Purchase this Solution
Solution Summary
Solution uses the eight rules of inference to find a proof leading to conclusion, explaining how a step was arrived from using premises/results from earlier steps.
Solution Preview
[A]
1. (C & ~E) > (E v T) ... [Premise]
2. C ... [Premise]
3. ~E ... [Premise]
4. (C & ~E) ... [Conjunction on 2 and 3]
5. (E v T) ... [Modus Ponens on 1 and 4]
6. T ... [Disjunctive Syllogism on 3 and 5; Conclusion]
[B]
1. (R v P) > (G v M) ... [Premise]
2. R & U ...
Purchase this Solution
Free BrainMass Quizzes
Know Your Linear Equations
Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.
Exponential Expressions
In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.
Graphs and Functions
This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.
Geometry - Real Life Application Problems
Understanding of how geometry applies to in real-world contexts
Multiplying Complex Numbers
This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.