※ 引述《nafranicolie (謊言尼可)》之銘言：
: 剛剛看到有人想用邏輯戰公共議題
: 留言的引理長這樣：若p則q，若非p則非q
: 舉例說明長這樣：p則q不代表q則p
: 看不懂辣
: 有人能跟我解釋解釋嘛
"則"就想成單行道
只能一個方向
如果下雨則撐雨傘
不代表撐雨傘就是下雨
"if and only if"
中文翻成若且唯若
才是雙向道
我是男的若且唯若我有GG
也可以說
我有GG若且唯若我是男的
安捏
所以一般要證明"若且唯若"很簡單
因為是雙向道
P若且唯若Q
證明出
Q若且唯若P
就得證了
但"則"因為是單行道
所以只能舉反例
P則Q
就得證明出
非Q則非P
舉個例子
下雨則撐傘
沒撐傘則一定沒下雨
得證
100分