It is just a matter of knowing the rules.
Hello! I need help with these 3 problem. When I am doing the steps I need to add the laws i used. Here it is:
a.) Show that and are logically equivalent?
b.) Show that and are logically equivalent?
c.) Show that and are logically equivalent?
Heres the laws I need to use:
http://www.plu.edu/~sklarjk/245s07/logequiv.pdf
Unfortunately the paper you supplied in the link does not have the material we need to do these questions.
There is no consideration of implication.
That is (p implies q is equivalent to not p or q).
This is known in formal logic as Material Implication (Impl).
Are there more pages in the text link?
These 2 links are from my notes. I uploaded them using imageshack:
ImageShack - Image Hosting :: law1jm0.png
ImageShack - Image Hosting :: law2nt8.png
I am doing it like this and this is what I see:
( p → q ) ^ ( p → r ) ≡ (¬p V q) ^ (¬p V r) Implication
≡ ¬p V ( q ^ r ) 1st Distributive Law
≡ p → (q ^ r )