Solving Natural Deduction Homework in SL

[E92M3]

Homework Statement

I am new at logic and I'm stuck on a problem set:
a)(~C \vee (A \cap B)) \vdash ((~C \vee A)\cap (~C \vee B))
b)\vdash ((A\cap B) \leftrightarrow (B^A))
c)\vdash (((A \rightarrow B) \rightarrow C) \rightarrow (A \rightarrow (B \rightarrow C)))
d)((A \rightarrow B) \rightarrow C), ~C \vdash ~A
e)\vdash (~~~A \vee ~~~~A)
f)\vdash ((A \rightarrow B) \vee (B \rightarrow A))
g)\vdash ((A\cap C) \rightarrow B)
h)(A \vee B) \vdash ~~(A \vee B)
i)(A \leftrightarrow B), ~B, (A \vee B) \vdash (C \rightarrow A)
j)~(~A\cap ~B) \vdash (A \vee B)

Homework Equations

Introduction and elimination riles in SL

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"

 

[Mark44]

These are 10 separate problems, right?

Most of the people here on this forum at pretty sharp at logic, but probably more along the lines of mathematical logic, which uses some different symbols.

What does this symbol--\vdash--mean? Implies?

Also, your ~ symbols are not rendering. Here's problem a with what I think you mean.
(\neg C \vee (A \wedge B)) \vdash ((\neg C \vee A) \wedge (\neg C \vee B))

And what does B^A mean?

 

[JSuarez]

The symbol \vdash means deducibility (the expression on the right may be deduced from the one at the left, by application of the rules), but some of the formulas don't make sense, and I can't open your links either: I just get an error message.

Just one more question, by "SL" you mean sequents, not natural deduction? (They are different.)

 

[E92M3]

Sorry the latex is not picking up my "ands" the attached pictures should be more clear.

 

[E92M3]

ok, everything is fixed. v stands for or

 

[Tasha5584]

Hey..Im new to this as well and have a few problems to solve. Any chance you guys could help?

1) AvB, 2) ~A, derive B
1) H(I&J), derive HI
1) AB, 2) ~(~B&~C)E, derive AE
1) ~A, 2) ~AZ, 3) QZ, 4) (Q&~A)M, derive M

The  represents a conditonal

 

[E92M3]

Ah... I asked the question half a semester ago and now I got it all figured out.

 

[E92M3]

First let me ask you do u know the format of natural deduction? Do you know the rules of natural deduction?

 

[E92M3]

For the 1st one, will u understand if i write:

1 1.(AvB) A
2 2.~A A
1,2 3.B 1,2 vE q.e.d.

And the 2nd:

1 1.(H->(I&J)) A
2 2.H A
1,2 3.(I&J) 1,2 ->E
1,2 4.I 3 &E
1 5.(H->I) 2,4 ->I q.e.d.

Do u understand what I'm doing and the SL rules that I'm using?

 

[Mark44]

Hey..Im new to this as well and have a few problems to solve. Any chance you guys could help?

1) AvB, 2) ~A, derive B
1) H(I&J), derive HI
1) AB, 2) ~(~B&~C)E, derive AE
1) ~A, 2) ~AZ, 3) QZ, 4) (Q&~A)M, derive M

The  represents a conditonal

It is considered "hijacking a thread" and therefore bad manners to tack a different question onto an existing thread. There's a button labelled New Thread that you can use to start (surprise, surprise!) a new thread.