※ 引述《nafranicolie (谎言尼可)》之铭言：
: 刚刚看到有人想用逻辑战公共议题
: 留言的引理长这样：若p则q，若非p则非q
: 举例说明长这样：p则q不代表q则p
: 看不懂辣
: 有人能跟我解释解释嘛
"则"就想成单行道
只能一个方向
如果下雨则撑雨伞
不代表撑雨伞就是下雨
"if and only if"
中文翻成若且唯若
才是双向道
我是男的若且唯若我有GG
也可以说
我有GG若且唯若我是男的
安捏
所以一般要证明"若且唯若"很简单
因为是双向道
P若且唯若Q
证明出
Q若且唯若P
就得证了
但"则"因为是单行道
所以只能举反例
P则Q
就得证明出
非Q则非P
举个例子
下雨则撑伞
没撑伞则一定没下雨
得证
100分