Homework Help: Philosophy (Logic)

Posted by Abby on Thursday, May 10, 2007 at 11:41pm.

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

No one has answered this question yet.

Answer this Question

Related Questions

Math - help please anyone? i'm having a hard time solvig these problems ...
Logic- Formal Proof - I need to solve a proof and I cannot figure it out. The ...
critical thinking - what is the meaning of validity, truth, and soundness as ...
Philosophy - What are the two formal fallacies? I remember being quite confused ...
Language Proof and Logic(Philosophy) - exercise 5.8 write an informal proof of ...
math-logic(shsat) - Question: If 15 - 2x < 7, then for all possible ...
Philosophy Logic - Use the 17 rules of inference to prove the following ...
Database design - How can you conduct evaluation and revision within the SDLC ...
programming - In order to share an XML file among different systems and programs...
programming - In order to share an XML file among different systems and programs...

For Further Reading

First Name:
School Subject:
Answer: