离散数学中命题逻辑里的只有和只要本质区别在哪里。符号化时两者有什么联系吗？

如题所述

举报该问题

第1个回答 2015-03-31

两个命题P，Q
只有等价于
Q→P

只要等价于
P→Q本回答被网友采纳

第2个回答 2015-03-31

前者是表达必要条件关系，后者表达充分条件关系

相似回答

离散数学: 在一阶逻辑中将该命题符号化:没有一个自然数大于等于任何自然...答：设N(x)：x是自然数。G(x,y)：x比y大。(x)(N(x)→(y)(N(y)∧G(y,x)))

离散数学 谓词逻辑 命题符号化 蕴含与合取的理解答：第二个结果也是对的，在后续章节有谓词逻辑中的等值式，用辖域的收缩与扩张等值式可以验证这个两个结果等值。

离散数学在那些专业中有应用,具体是什么?答：数理逻辑的研究内容是两个演算加四论，具体为命题演算、谓词演算、集合论、模型论、递归论和证明论。数理逻辑是形式逻辑与数学相结合的产物。但数理逻辑研究的是各学科（包括数学）共同遵从的一般性的逻辑规律，而各门学科只研究自身的具体规律。集合论可看作数理逻辑的一个分支，也是现代数学的一个独立...

关于离散数学中命题“有的兔子比所有的乌龟跑得快。”的谓词逻辑命题的...答：1、先证充分性：∃x(F(x)∧∀y(G(y)→H(x,y)))→∃x∀y(F(x)∧(G(y)→H(x,y)))（1）∃x(F(x)∧∀y(G(y)→H(x,y))) P （2）P F（α）∧∀y(G(y)→H(α,y)) ∃-（1）（3）P ∀y(G(y)→H...

大家正在搜

离散数学命题逻辑的基本概念离散数学命题逻辑的推理理论例题离散数学命题逻辑题目离散数学符号化命题离散数学命题逻辑等值演算离散数学命题逻辑推理离散数学命题逻辑小论文离散数学命题的概念命题关系离散数学

离散数学问题："命题"和"命题逻辑"这两个概念有什么区别，应...

离散数学中关于命题符号化的一个纠结之处

离散数学/命题逻辑如何理解命题“只有P，才有Q。” 符号...

离散数学命题符号化？

离散数学谓词逻辑命题符号化蕴含与合取的理解

离散数学命题符号化？将下列命题符号化？

离散数学中的命题是什么意思解释下？

离散数学命题符号化，在原命题符号化后、为什么之间要用∧连接？...