命题变元造句

• 任意含n个命题变元的非永假式，其主析取范式是惟一的。
• R4应用道义命题代替命题逻辑常真式中的命题变元，其结果是一条定理。
• 它的语义解释是一个无穷状态序列σ=S0,S1,S2,…，每个Si都是对命题变元的一个赋值。
• 命题演算中的命题变元只取0或1为值，此系统可被看作为二值代数，他就用此二值代数作为推导的工具。
• 命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。
• 合取范式（conjunctive normal form），命题公式的一种标准形，设A是一个命题公式，A中出现的命题变元为p1，p2，…，pn，以Qi表示pi或┐pi，i＝1，…，n。
• 即把类变元改为命题变元p,q,ｒ,…；改为否定词?（“并非”）；∪改为析取词∨（“或者”）；∩改为合取词∨（“并且”）。
• PLTL包含可数无穷多个命题变元，逻辑联结词“否定”┐，“合取”∧，“析取”∨，“蕴含”，“等价”≡；时态算子□，意为“任一时刻”；◇，意为“某一时刻”；○，意为“下一时刻”；μ，意为“直到”。

• 命题变元的英语：propositional variable