设A与B均为含n个命题变项的公式,任何公式A都能等值地化为联结词集{┐、→、∧}中的公式。
举一反三
- 设A与B均为含n个命题变项的公式,判断下列命题是否为真? 任何公式A都能等值地化为联结词集{┐、→、∧}中的公式。
- 设A与B为含n个命题变项的公式,哪一个是真命题?
- 任何公式都能等值地化成{ ®, Ù}中的公式。
- 任何公式都能等值地化成{¬,→, ∧}中的公式
- 将已知的命题公式等值地化成给定联结词完备集上的公式[br][/br]将公式 [tex=3.571x1.214]Xb00iVPL8KRkcXuyhCyOtAamlHDLu/v6DcxUWNDe914=[/tex] 化成 [tex=3.571x1.357]NekM7uTiT6P4sHmXl+4HnRoc9fDMQZysVk+qfRLia1I=[/tex] 上的公式.