Post a New Question

Philosophy (Logic)

posted by .

I need help constructing a formal proof of validity for the following:
1. B<->(L•D), ~D, so ~B
2. R v (S•~T), (R v S) -> (U v ~T), so T->U
3. A -> ([E•~G) ->M], ~ (~E v G) -> (M -> F), so A -> [~ (~G -> ~E) ->F

Respond to this Question

First Name
School Subject
Your Answer

Similar Questions

  1. Philosophy

    What are the two formal fallacies? I remember being quite confused by all the specialized terminology, etc., in logic and philosophy classes, but there are things on this webpage that may help you: http://grammar.ccc.commnet.edu/grammar/composition/argument.htm
  2. critical thinking

    what is the meaning of validity, truth, and soundness as they relate to the area of logical syllogism?
  3. Formal Logic Question

    Please help me work out the following formal logic problem.... Given the premise that whoever smelt it dealt it, does it necessarily follow that whoever dealt it must also have smelt it?
  4. Logic- Formal Proof

    I need to solve a proof and I cannot figure it out. The instructions say only that I will have to use subproofs within subproofs. Premises: A or B A or C Conclusion: A or (B and C)
  5. Language Proof and Logic(Philosophy)

    exercise 5.8 write an informal proof of Premises: LeftOf(a,b) | RightOf(a,b) BackOf(a,b) | ~Leftof(a,b) FrontOf(b,a) | ~RightOf(a,b) SameCol(c,a) & SameRow(c,b) conclusion BackOf(a,b) State if you use proof by cases.
  6. Philosophy

    I need help with this proof for my philosophy class. This proof is supposed to be done via indirect proof or conditional proof, so it is supposed to use AIP and IP or ACP and CP to derive the conclusion! This is an assignment that …
  7. Philosophy

    I need help with this proof for my philosophy class. This proof is supposed to be done via indirect proof or conditional proof, so it is supposed to use AIP and IP or ACP and CP to derive the conclusion! This is an assignment that …
  8. Philosophy

    I need help with this proof for my philosophy class. This proof is supposed to be done via conditional proof, so it is supposed to use ACP and CP to derive the conclusion! This is an assignment that is submitted through Aplia, so I …
  9. Philosophy

    I need help with this proof for my philosophy class. This proof is supposed to be done via indirect proof or conditional proof, so it is supposed to use AIP and IP or ACP and CP to derive the conclusion! This is an assignment that …
  10. CHEMISTRY

    Post a New Question Current Questions Homework Help: Chemistry Posted by Anonymous on Thursday, November 14, 2013 at 8:45pm. CONTINUE>>>>>>>>>>> The enthalpy changes for two different hydrogenation …

More Similar Questions

Post a New Question