下列各组公式中，哪组是互为对偶的，其中 P 为单独的命题变元

[单选题]

下列各组公式中，哪组是互为对偶的，其中 P 为单独的命题变元， A 为含有连接词的命题公式（）

（1） P ， P （2） P ，гP （3）（4）A，A

查看答案及解析

吴吴高升

在命题逻辑中的对偶式：在仅含有联结词与（∧）、或（∨）、非（┐）的命题公式A中，将∨换成∧，∧换成∨，若A中还含有0或1，则还需将其中的0换成1，1换成0，，所得到的新命题公式A*就是A的对偶式。例如，命题公式A=┐(P∧0)的对偶式A*=┐(P∨1)。

参考百度：https://baike.baidu.com/item/%E5%AF%B9%E5%81%B6%E5%BC%8F/9801504?fr=aladdin

P是原子命题，对偶式就是其本身，逻辑非符号在对偶变换过程中不变

发表于 2018-04-04 09:19:27 回复(0)

友人说201904171536944

发表于 2019-04-30 19:29:40 回复(0)

提交观点

问题信息

组合数学

上传者：星辰大海的碎片

难度：

2条回答 87收藏 2639浏览

扫一扫，把题目装进口袋