离散数学中,为什么p only if q等价于p->q,而不是q->p呢?
发布网友
发布时间:2022-04-29 08:12
我来回答
共1个回答
热心网友
时间:2022-06-24 17:17
“only if”翻译成“仅当”,故“p only if q”表示“p仅当q”。q是必要条件,当然只能做后件了。
①当p则q,翻译成p→q(“当”<if >修饰的是充分条件,作为前件)
②仅当p则q,翻译成q→p(“仅当”<only if>修饰的是必要条件,作为后件)
③p当且仅当q,翻译成p↔q(“当且仅当”<if and only if>修饰的一定是充要条件,作为双条件)