Originally Posted by

**natarajchakraborty** Thanx Angle White! Thanx a lot! Atleast I have a prove. Its not for my homework, but for my own understanding, I am actually doing a self study! Great! Thanx a lot.

But I have another additional question related to this?

The rules you used, that is assumption and modus ponens etc. are not there in Rosen, why they are not there? I mean is it not the most basic of Logic, symbolic logic. Basically I never studied Logic in High School, so this is my first introduction, but I get surprised by the various ways the meterial is presented in various books and sites.

For ex.

a) Rosen don't have all these rules you used to do the derivation.

b) Schaum's outline in logic also don't have these rules, but they do have other things, about building the tree and branches to solve the logic problem.

c) While in another book I found they mentioned 12 rules similar to the ones you used.

So where I stand, do I need to start somewhere else.

I am confused by so many terms, not knowing their difference, like "Symbolic Logic", "Propositional Logic", "Predicate Logic" etc.

What are the differences and which is a good place to start considering no preveious background in Logic.

Thanx a lot

Nataraj