Thread: Logically Equivalent Statement-HELP!

Hello All,

Please see my attached document to understand what I need help with-thanks!

Hello,

Originally Posted by mathfanatic

Hello All,

Please see my attached document to understand what I need help with-thanks!

Please next time, scan it or whatever you want, but no .doc files, pleaaaaaaaaaaaaaaaaaaaaaase

Okay.

... look here : Law of excluded middle - Wikipedia, the free encyclopedia

and it should be straightforward after that ^^

(¬p ν p) is nothing but True V False, which is always true!

(¬p ν p) Λ q
<=> T /\ q
<=> q
thus it is logically equivalent to q

Thanks-I was making it a lot harder than it had to be!

Originally Posted by natarajchakraborty

(¬p ν p) is nothing but True V False, which is always true!

(¬p ν p) Λ q
<=> T /\ q
<=> q
thus it is logically equivalent to q