Biconditional introduction: Difference between revisions

Content deleted Content added
mNo edit summary
Line 8:
<u>( B &rarr; A )&nbsp;&nbsp;</u>
&there4; ( A &harr; B )
 
[[Category:Logic]]
[[Category:Mathematical terminology]]