Shortcut 2

Logic Level 2

Is this a tautology?

( A ⟺ B ) ⟺ ¬ ( ( A ⇒ B ) ⇒ ¬ ( B ⇒ A ) ) (A\iff B) \iff \neg ((A\Rightarrow B) \Rightarrow \neg(B\Rightarrow A) )

No, It isn't There is insufficient information Yes, it is

View wiki
Guillermo Templado by Guillermo Templado , 46, Spain

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

8 Helpful 0 Interesting 0 Brilliant 0 Confused

Exactly what I did

Debmeet Banerjee - 5 years, 7 months ago

Table of truth? Have to be kidding me! p->~q is equivalent to ~p v ~q. Therefore, after transforming the conditional in disjunction, I apply De Morgan's: ~(~p v ~q) = p ^ q which is the conjunction of both conditionals and demonstrates the equivalence :)

2 Helpful 0 Interesting 0 Brilliant 0 Confused

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...