命题公式[tex=7.571x1.357]Cp6k0MCxWX6Js//RLUdZX5S20ytXpGY2I9o9P54eh24uBCHGrDlBQv44FXin3v0J[/tex]是
未知类型：{'options': ['矛盾式', '可满足式', '重言式', '不能确定'], 'type': 102}
未知类型：{'options': ['矛盾式', '可满足式', '重言式', '不能确定'], 'type': 102}
举一反三
- K是重言式,那么K的否定是 未知类型：{'options': ['重言式', '矛盾式', '可满足式', '不能确定'], 'type': 102}
- 命题公式[tex=4.714x1.357]DnkRtQpckP0rbRwZSQsvMje+7QZcXTaFyhuFK/eFlzE=[/tex]是下列4个中的哪一个？ 未知类型：{'options': ['永真式', '永假式', '可满足式', '合取范式'], 'type': 102}
- 如果当[tex=2.5x1.214]Q29ySw8EG/r0vHipu0vHXCCqMkBLIZsw8zGTmfrLXVk=[/tex]为真时称命题P强于Q,那么最强的命题是( ),最弱的命题是（ ） 未知类型：{'options': ['永假式', '可满足式', '永真式', '不能确定'], 'type': 102}
- 给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
- 命题公式(p∧q)→(p∨q)是( )类型的公式。 A: 矛盾式 B: 可满足式 C: 重言式 D: 不确定