将命题符号化并进行等值演算是进行逻辑推理的重要环节。
1、命题公式
命题常项：简单命题。
命题变项：真值不确定的陈述句。
命题公式（合式公式、公式) ：将命题变项用联结词或圆括号按一定逻辑关系联结起来的符号串。
给公式A中的命题变项 p1, p2, … , pn指定一组真值称为对A
离散数学（二）：命题公式的等值演算
于 2022-09-05 22:50:41 首次发布
扫一扫
评论
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
查看更多评论
添加红包
