逻辑推理充分条件必要条件
“除非x否则y”
“一般y除非x”
“只有x才不y”
三句话分别用类似p←q,非q←p,非p→q的形式表示出来