Exit
Lesson 019 · Step 1 of 4Streak 00

Two directions

P⇔QP \Leftrightarrow Q means P⇒QP \Rightarrow Q and Q⇒PQ \Rightarrow P. To prove it, prove both directions.

(⇒)(\Rightarrow ) Assume PP and show QQ. (⇐)(\Leftarrow ) Assume QQ and show PP.