设有代数系统G=〈A,[img=22x21]17da6cc8bde279f.jpg[/img]〉,其中A是所有命题公式的集合,[img=22x21]17da6cc8cade464.jpg[/img]为命题公式的合取运算,则G的幺元是( )
未知类型:{'options': ['', '重言式', '矛盾式', '可满足式'], 'type': 102}
未知类型:{'options': ['', '重言式', '矛盾式', '可满足式'], 'type': 102}
举一反三
- 命题公式[img=104x29]18034c7bba61820.png[/img]的对偶式为 未知类型:{'options': ['', '', '', ''], 'type': 102}
- 命题公式[img=156x25]18032cdbcc69fe0.png[/img]是( )? A: 矛盾式; B: 可满足式; C: 重言式; D: 以上都不是
- 命题公式[tex=7.571x1.357]Cp6k0MCxWX6Js//RLUdZX5S20ytXpGY2I9o9P54eh24uBCHGrDlBQv44FXin3v0J[/tex]是 未知类型:{'options': ['矛盾式', '可满足式', '重言式', '不能确定'], 'type': 102}
- 下面哪一个命题公式是重言式?( ) 未知类型:{'options': ['', ' [img=94x22]17e0bd57ae79c15.png[/img]', ' [img=104x24]17e0bd57b9aadbc.png[/img]', ' [img=207x22]17e0bd57c4d2a07.png[/img]'], 'type': 102}
- 下面哪个命题公式是重言式( )。 未知类型:{'options': ['17e0af912732fb2.png ;', ' [img=88x21]17e0af9134f8edf.png[/img] ;', ' [img=153x21]17e0af913fe11fa.png[/img] ;', ' [img=92x21]17e0af914c04a7d.png[/img] 。'], 'type': 102}