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

## Answer this Question

## Related Questions

- critical thinking - what is the meaning of validity, truth, and soundness as ...
- Logic- Formal Proof - I need to solve a proof and I cannot figure it out. The ...
- Philosophy - I need help with this proof for my philosophy class. This proof is ...
- Philosophy - I need help with this proof for my philosophy class. This proof is ...
- Philosophy - I need help with this proof for my philosophy class. This proof is ...
- CHEMISTRY - Post a New Question Current Questions Homework Help: Chemistry ...
- 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 ...
- Philosophy - I need help with this proof for my philosophy class. This proof is ...
- Formal Logic Question - Please help me work out the following formal logic ...