导读 大家好,小迪来为大家解答以上的问题。命题公式，关于命题公式介绍这个很多人还不知道,现在让我们一起来看看吧！ 命题公式(propositional
大家好,小迪来为大家解答以上的问题。命题公式，关于命题公式介绍这个很多人还不知道,现在让我们一起来看看吧！
命题公式(propositional formula)亦称合式公式，是数理逻辑术语，它是按照一定规律形成的符号序列，在命题演算中，公式通常用归纳定义给出，例如，在一个具有五个联结词ᒣ，∨，∧，→，≡的系统中，合式公式定义如下：1.命题变元和命题常元是公式；2.如果α是公式，则ᒣα也是公式；3.如果α，β是公式，则α∨β，α∧β，α→β，α≡β均为公式；4.只有由1～3条给出的才是公式。
因此，根据上述定义，ᒣp，(p→q)∨ᒣp等是公式，而pᒣ，pq→等都不是公式 。
本文到此分享完毕，希望对大家有所帮助。
标签：
版权声明：本文由用户上传，如有侵权请联系删除！