Question

如何理解离散数学逻辑学中的蕴含表达式 -> ?

Answer 1

感觉命题的定义, 命题那么为真, 要么为假, 不能既真又假, 也不能既不真也不假. 而简单的简单(如果p那么q)根本就不符合命题的要求. (如果p那么q)不是合格的命题。

“如果p那么q”不能被证明是假的才是一个合格的命题。

数学［英语：mathematics，源自古希腊语μθημα（máthēma）；经常被缩写为math或maths]，是研究数量、结构、变化、空间以及信息等概念的一门学科。

数学是人类对事物的抽象结构与模式进行严格描述的一种通用手段，可以应用于现实世界的任何问题，所有的数学对象本质上都是人为定义的。从这个意义上，数学属于形式科学，而不是自然科学。不同的数学家和哲学家对数学的确切范围和定义有一系列的看法。

在人类历史发展和社会生活中，数学发挥着不可替代的作用，同时也是学习和研究现代科学技术必不可少的基本工具。