Purchase Solution

Construct proofs for given valid arguments using the eight rules of inference.

Not what you're looking for?

Ask Custom Question

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.

View More Free Quizzes
Related BrainMass Solutions

  • Four predicate logic proofs

    Provide proofs for the attached 4 problems using the 9 rules of inference, the 10 rules of replacement and Quantitative logic. --- Provide proof s for the following four arguments using: The 9 rules of inference; Modus Pollens (MP); Modus Tollens

  • Logical Argument Components

    reach a false conclusion through valid inference from true premises. http://www.virtualschool.edu/mon/SocialConstruction/Logic.html See attached article for other excellent examples (e.g. deductive arguments).

  • Distinction between Deductive and Inductive Argument

    A probable inference is Strong when the premises are true and the truth of the conclusion is more probable than not (more than 50% likely to be true) given the evidence.

  • How Logic Fits into Our Thought Processes

    Formal logic is "about" evaluating arguments based on rules of inference and concethe concept of validity. It does not account for emotion, and so forth.

  • Assumptions, Critical Thinking and Logic

    Of the eight distinct possible combinations of truth and validity, only one is ruled out completely: SEE ATTACHED RESPONSE FOR FORMATTING Premises Inference Conclusion True Valid True XXXX Invalid True False False Valid

  • Symbolic Logic

    Once you have done this, you can then construct a proof using the rules of inference that you should have learned in your class.

  • Proofs using Modus Pollens, Modus Tollens

    626379 Proofs using Modus Pollens, Modus Tollens Question: using the four rules of inference presented (mp,mt,ds and hs), construct a proof for the following valid argument in the answer box below. Note: A). 1. w>(pvc)..........premise 2.

  • Symbolic Logic : Symbolic Notation

    The triangle is the area of a three sided figure are found. Primitive rules of inference are given.

  • Research in Philosophy: Satisfiable and Valid Formula Derivable

    We gave ourselves a set of inference rules and replacement rules (depending on what text we were following, maybe we gave ourselves an introduction and elimination rule for each connective; or maybe we took as our rules Copi's 19 rules.

View More Related Solutions