数理逻辑中 公式的判定问题.txt

来自「一个递归程序 根据数理逻辑中 公式 的递归定义 判断一个表达式是否是公式」· 文本 代码 · 共 31 行

1：p,q,r 是原子公式
2：如果A是公式，则(!A)是公式
3：如果A，B是公式，则(A*B)是公式

* 代表：& |

以上是数理逻辑中的 公式的定义。
可以看出以上定义是一个递归定义。
下面给出一些例子，并判定是否是公式。


p				:T是原子公式。
(p|q)				:T
p&q				:F
!q				:F
(!p)				:T
(!(p&(r|q)))			:T
((!(p|(q&q)))&((p&q)&(!(!q))))	:T
((!(p|(q&q)))&((p&q)&(!(!q)))	:T