离散数学中,为什么ponlyifq等价于p->q,而不是q->p呢?

Question

离散数学中,为什么p only if q等价于p->q,而不是q->p呢?

Answer 1

“only if”翻译成“仅当”,故“p only if q”表示“p仅当q”.q是必要条件,当然只能做后件了.
①当p则q,翻译成p→q（“当”修饰的是充分条件,作为前件）
②仅当p则q,翻译成q→p（“仅当”修饰的是必要条件,作为后件）
③p当且仅当q,翻译成p↔q（“当且仅当”修饰的一定是充要条件,作为双条件）