Thread: Tautology-Need Help. Due Tomorrow

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

It is just a matter of knowing the rules.

Originally Posted by Plato

It is just a matter of knowing the rules.

Thanks Plato. I am starting to understand it alittle bit. But how does this:
¬p V ( q ^ r )
change to this:
p → (q ^ r )
???
What Law is that b/c as I am looking at my paper with the laws I don't see how it changes to the --> sign?

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?

Originally Posted by Grillakis

Thanks Plato. I am starting to understand it alittle bit. But how does this:
¬p V ( q ^ r )
change to this:
p → (q ^ r )
???
What Law is that b/c as I am looking at my paper with the laws I don't see how it changes to the --> sign?

The law is: P v Q <====> (IS equivalent) ~P----->Q ,which by the way is not included in the page with the laws that you where given

I am sorry to get in the way ,you may not take into account my post

Originally Posted by Plato

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 )

Originally Posted by archidi

I am sorry to get in the way ,you may not take into account my post

archidi...thats alright. Any help from anybody is appreciated. Those notes I found online. I should have just uploaded the laws from my note, which i did now.

Again unfortunately, neither of the new pages you supplied addresses Material Implication (Impl).
That is .
That is what you need to work these three problems.

Originally Posted by Plato

Again unfortunately, neither of the pages you supplied addresses Material Implication (Impl).
That is .
That is what you need to work these three problems.

That stinks. Ok Plato I will try and work them again. Thanks for that other law.