2010年2月24日

記号論理学

逆⇔←→
裏⇔¬¬
対⇔→←
∧
逆←→裏
逆→←対
裏¬¬対