命题公式 编辑
在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。
4
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
在数理逻辑中，命题变量是要么为真要么为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。
在数理逻辑中，命题变量是要么为真要么为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。