漫游猫认证
口决一:充分条件前推后
口诀二:必要条件后推前
口诀四:除非否则去“除”去“否”,箭头直接向右划
口诀五:加“非”去“否”,箭头右划
口诀七:逆否等于原命题
口诀八:有箭头指向则为真,没有箭头指向则可真可假。