(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

I am new at logic and i'm stuck on a problem set:

a)[tex] (~C \vee (A \cap B)) \vdash ((~C \vee A)\cap (~C \vee B))[/tex]

b)[tex] \vdash ((A\cap B) \leftrightarrow (B^A))[/tex]

c)[tex] \vdash (((A \rightarrow B) \rightarrow C) \rightarrow (A \rightarrow (B \rightarrow C)))[/tex]

d)[tex] ((A \rightarrow B) \rightarrow C), ~C \vdash ~A[/tex]

e)[tex] \vdash (~~~A \vee ~~~~A)[/tex]

f)[tex] \vdash ((A \rightarrow B) \vee (B \rightarrow A))[/tex]

g)[tex] \vdash ((A\cap C) \rightarrow B)[/tex]

h)[tex] (A \vee B) \vdash ~~(A \vee B)[/tex]

i)[tex] (A \leftrightarrow B), ~B, (A \vee B) \vdash (C \rightarrow A)[/tex]

j)[tex] ~(~A\cap ~B) \vdash (A \vee B)[/tex]

2. Relevant equations

Introduction and elimination riles in SL

3. The attempt at a solution

I am new at this but I've done some and stuck on others. Please see attached picture since I don't know how to type derivations with latex.

https://mail.google.com/mail/?ui=2&...th=126b3bda78187865&attid=0.1&disp=inline&zw"

https://mail.google.com/mail/?ui=2&...th=126b3bda78187865&attid=0.3&disp=inline&zw"

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Natural Deduction

**Physics Forums | Science Articles, Homework Help, Discussion**