Philosophy (Logic)
posted by Abby .
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
Similar Questions

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 
critical thinking
what is the meaning of validity, truth, and soundness as they relate to the area of logical syllogism? 
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? 
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) 
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. 
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 … 
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 … 
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 … 
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 … 
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 …