記号論理学

逆⇔←→
裏⇔￢￢
対⇔→←
∧
逆←→裏
逆→←対
裏￢￢対