您当前所在位置: 首页 > 学术社区
在线提示

微学术WeSci

关于离散数学结构第四版影印版第 56 页定理 之有争议公式 3(d) 的一个论证

2020-10-11 21:15:33 目录:默认 领域:数学 数理逻辑探讨

摘要:本文给出有争议公式 ∀x(P(x) → Q(x)) ≡ ∃xP(x) → ∀xQ(x) 为重言式的一个证明。。

关键词: 谓词演算; 全称量词; 存在量词

image.png

image.png

image.png

image.png

致谢 感谢对本文有帮助的所有人!

    参考文献:

    [1] 中国人民大学哲学系逻辑教研室编. 形式逻辑 (修订本)[M]. 北京: 科学出版社, 1987, 第 118
    - 120 页.
    [2] Bernard K, Robert C. B and Sharon C. 离散数学结构 (第四版影印版) Discrete Mathematical Structures (Fourth Edition)[M], Beijing: Higher Education Press Pearson Education,
    2001, p. 56.

    私信 添加关注

    发送私信

    发送给灵峰

    主治医师 无

    工作单位:山西焦煤汾西矿业集团

    所属领域:数理科学

    • 14
    • 0
    • 0
    • 0
    • 0
    撰写我的微学术文章 返回顶部