离散数学 自然语言命题符号化 自然语言 符号化 如果 p 就 q $p \to q$ 只要 p 就 q $p \to q$ 一旦 p 就 q $p \to q$ 只有 p 才 q $q \to p$ 没有 p 就不 q $q\to p$ 不 q，除非 p $q \to p$ 除非 p, 否则不 q $q\to p$ 只要就 vs 只有才 自然语言 只要 p 就 q 只有 p 才 q 充要关系 充分 必要 符号化 $p\to q$ $q \to p$