Sunday
April 20, 2014

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<->(LD), ~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

First Name:
School Subject:
Answer:

Related Questions

Math - help please anyone? i'm having a hard time solvig these problems LOGIC ...
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 - 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 ...
math - Um... i cant find anything about this in the textbook, help??!! 1. m - 7...
Logic - Can someone please help me solve these problems? I have to use the 17 ...
Philosophy - I need help with this proof for my philosophy class. This proof is ...
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...

Search
Members