命题公式A与B是等价的，其含义是指（ )
A: A与B有相同的命题变元
B: [img=56x19]18034c7c5709218.png[/img]是可满足式
C: [img=56x19]18034c7c5f7e2ce.png[/img]是重言式
D: [img=56x19]18034c7c6881f74.png[/img]是重言式
A: A与B有相同的命题变元
B: [img=56x19]18034c7c5709218.png[/img]是可满足式
C: [img=56x19]18034c7c5f7e2ce.png[/img]是重言式
D: [img=56x19]18034c7c6881f74.png[/img]是重言式
举一反三
- 命题公式A与B是等价的，其含义是指（ ) 未知类型：{'options': ['A与B有相同的命题变元', '18034c7c5709218.png是可满足式', '18034c7c5f7e2ce.png是重言式', '18034c7c6881f74.png是重言式'], 'type': 102}
- 命题公式[img=156x25]18032cdbcc69fe0.png[/img]是( )? A: 矛盾式； B: 可满足式； C: 重言式； D: 以上都不是
- 以下描述正确的是 A: 若[img=56x19]1802fc520f2c7e3.png[/img]是永真式，则[img=56x19]1802fc52175df7a.png[/img] B: 若[img=56x19]1802fc521f00a4d.png[/img]为永真式，则[img=56x19]1802fc522812537.png[/img] C: 若论域是{1,2,3}，则[img=236x25]1802fc52327dc3d.png[/img] D: 若论域是{1,2,3}，则[img=236x25]1802fc523f94ffd.png[/img]
- 下列命题不成立的是 A: 若[img=56x19]18037fe30e34d4c.png[/img]，则[img=80x19]18037fe31675cdf.png[/img]。 B: 若[img=80x19]18037fe31675cdf.png[/img]，则[img=56x19]18037fe30e34d4c.png[/img]。 C: 若[img=56x19]18037fe30e34d4c.png[/img]，则[img=121x19]18037fe335ecc3c.png[/img]。 D: 若[img=121x19]18037fe335ecc3c.png[/img]，则[img=56x19]18037fe30e34d4c.png[/img]。
- 下列命题不成立的是 A: 若[img=56x19]180349ffcc14c49.png[/img]，则[img=80x19]180349ffd5d9d99.png[/img]。 B: 若[img=80x19]180349ffd5d9d99.png[/img]，则[img=56x19]180349ffcc14c49.png[/img]。 C: 若[img=56x19]180349ffcc14c49.png[/img]，则[img=121x19]180349fff6ca13c.png[/img]。 D: 若[img=121x19]180349fff6ca13c.png[/img]，则[img=56x19]180349ffcc14c49.png[/img]。