此命题公式5261真值表如下：

其析取式4102：（﹁p→q）→（q→﹁p）资金等值计算公式于一个析取式

这个析取式应为或者（﹁1653p→q）假，或者（q→﹁p）真

即﹁（﹁p→q）∨（q→﹁p），可转化为(﹁p∧﹁q)∨(q→﹁p)

命题公式(propositional formula)亦称合式公式，是数理逻辑术语它是按照一定规律形成的符号序列。

定义 命题合式公式又称为命题公式(简称公式)，可按下列規则生成:

(1)命题变项是命题公式

(2)如果A是命题公式，则?A是命题公式

(3)如果A和B是命题公式，那么(A∧B)、(A∨B)、(A→B)和(A?B)都是命题公式

(4)当且仅当有限次地应用(1)，(2)(3)所得到的包含命题变项，联结词和圆括号的符号串是命题公式

命题公式的定义是一个递归定义形式。命题公式本身不是命题没有真值，只有对其命题变项进行赋值后它才有真值。

5个联结词运算儿有不同的优先级当它们同时出现在一个命题公式里时，聯结间运算的优先次序为?、∧、∨、→、?，如果有括号，则括号内的运算优先进行。

给定一个命题公式若对于其中的命题变项的任哬一组赋值，命题公式对应的真值永远为1则称该命题公式为重言式或永真式。

给定一个命题公式若对于其中的命题变项的任何一组赋徝，命题公式对应的真值永远为0则称该命题公式为矛盾式或永假式。

给定一个命题公式若至少存在一组赋值使得该公式的真值为1，则稱该命题公式为可满足式

由定义可知，公式?(P∧Q)??P∨?Q是永真式公式?(P→Q)∧Q是永假式，永真式的真值总是为1因而是一种特殊的可滿足式。

﹁p→q）假或者（q→﹁p）真，即﹁（﹁p→q）∨（q→﹁p）可转化为(﹁p∧﹁q)∨(q→﹁p)

下载百度知道APP，抢鲜体验

使用百度知道APP立即抢鮮体验。你的手机镜头里或许有别人想知道的答案