命题公式A与B是等价的，其含义是指（ )
未知类型：{'options': ['A与B有相同的命题变元', '18034c7c5709218.png是可满足式', '18034c7c5f7e2ce.png是重言式', '18034c7c6881f74.png是重言式'], 'type': 102}
未知类型：{'options': ['A与B有相同的命题变元', '18034c7c5709218.png是可满足式', '18034c7c5f7e2ce.png是重言式', '18034c7c6881f74.png是重言式'], 'type': 102}
举一反三
- 命题公式A与B是等价的，其含义是指（ ) A: A与B有相同的命题变元 B: [img=56x19]18034c7c5709218.png[/img]是可满足式 C: [img=56x19]18034c7c5f7e2ce.png[/img]是重言式 D: [img=56x19]18034c7c6881f74.png[/img]是重言式
- 命题公式[tex=7.571x1.357]Cp6k0MCxWX6Js//RLUdZX5S20ytXpGY2I9o9P54eh24uBCHGrDlBQv44FXin3v0J[/tex]是 未知类型：{'options': ['矛盾式', '可满足式', '重言式', '不能确定'], 'type': 102}
- 命题公式P→(Q∨P)是 A: 矛盾式 B: 可满足式 C: 重言式 D: 等价式
- 命题公式¬(pÙq)↔(p®¬q)的类型是() A: 重言式 B: 非重言式的可满足式 C: 矛盾式 D: 简单析取式
- P为任意命题公式，Q为重言式。则PVQ是( ) A: 矛盾式 B: 可满足式 C: 蕴涵式 D: 重言式