Purchase Solution

Write formal proofs/Logic laws for proofs

Not what you're looking for?

Ask Custom Question

See the attachment for all questions.

18. Given: If you are wealthy, then you are a success.
You are wealthy or you are. healthy.
You are not healthy.
Let W represent: "You are wealthy." Let S represent: "You are a success." Let H represent: "You are healthy."
Prove: You are a success.

19. Given: The object is red or it is a pencil.
If it is a pencil, then it must contain carbon..
The object does not contain carbon.
Let R represent: Let P represent: Let C represent:
"The object is red." "It is a pencil."
"It contains carbon."
Prove: The object is red.

Attachments
Purchase this Solution
Solution Summary

The expert writes formula proofs and logic laws for proofs.

Solution Preview

Please see the attachment

Problem #3
1. Premise
2. Premise
3. Modus Tollens (MT) from 1, 2
4. Premise
5. Disjunctive Syllogism (DS) from 3, 4

Problem #4
1. Premise
2. Decomposing a Conjunction (DC) from 1
3. Premise
4. DS from 2, 3
5. Premise
6. MT from 4, 5

Problem #5
The result is not correct. Here is a counter example
is false, is true, is false, is true. Then they satisfy all premises. But if false.

Problem #6
Some conditions are missing because the condition does not ...

Purchase this Solution
Free BrainMass Quizzes
Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

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.

Solving quadratic inequalities

This quiz test you on how well you are familiar with solving quadratic inequalities.

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

View More Free Quizzes
Related BrainMass Solutions

  • Four predicate logic proofs

    79871 Predicate Logic Proofs I am looking for help with Predicate and Quantitative Logic.

  • Direct and Indirect Logic Proofs

    . - D [Second assumption for disjunction elimination] 8. H [Modus ponens, 7, 2] 9. H [Disjunction elimination, 4, 5, 6, 7, 8] The direct and indirect logic proofs are examined. The character limitations are defined.

  • Introduction to Proofs

    So this logic shows that it's true for n=2, and then from the n=2 case we know the n=3 case, and so on, for all the integers. Hope this helps you understand these types of proofs better, and be able to write up solutions in your own words.

  • Real Analysis Proofs : Set Operations

    Please see the attached file for the complete solution. Thanks for using BrainMass. Set operation proofs are provided. The solution is detailed and well presented.

  • Metric Space Proofs

    Please give formal proofs for both (a) and (b) based on the reference provided. Thank you. The explanations are in the text which is uploaded in two formats: Word 2003 and 2007. Thanks for using BrainMass.

  • Real Analysis Proofs : Set Operations

    166550 Real Analysis Proofs : Set Operations Provide counterexamples for each of the following.... From Set Theory, Set Operation. College level proof before real analysis. Please give formal proof. Please explain each step of your solution.

  • Complete Proof

    I suggest that you do this with several completed proofs; this will help you become more comfortable with constructing new proofs in the future. The expert explains some strategies for constructing logical proofs.

  • Properties of Vector Spaces

    Please write complete, formal and professional proofs for your answer. Also, please publish response as a Word or PDF file. Infinite thanks! 9. Let V be a vector space and let x∈V. Show that (a) β0=0 for each scalar β.

  • St. Thomas Aquinas "Proofs"

    In this respect they differ from ontological proofs - which rely for their support on logic rather than physics (e.g., "God must exist, because it is inherent in the conception of God that we have that He must exist", "God's existence is self-evident"

View More Related Solutions