I've just started a course in logics and set theory with no background whatsoever in this field, and for some reason I'm having problems with proving stuff with identities.
I'll try and give the first problem I'm stuck in, which is one of the easier ones I got for homework - hoping that I might get the idea and be able to continue on my own.
here it is then :
(pΛ~q)→~(pVr) ≡ p→q
so I did :
~(pΛ~q) V ~(pVr) ≡ p→q
and...I'm stuck I tried several other formulas and got nowhere.
I think that one of my biggest problems is that I'm not completely sure how to treat the variables and think of it as an equation instead of whatever it is .
If anybody could show me the way to prove it, maybe with a some commentary as well - I would highly appreciate it, cause I'm pretty lost.