命题形式

（数理逻辑术语）
命题形式(propositional forms)数理逻辑术语.是由命题变元p，9，r，…和命题联词二(非)，八(与)，V(或)，~(若……则……)，~(当且仅当)按下列规则形成的公式:1.任何命题变元是命题形式.
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：