若A、B等值，则下列说法正确的是
A: A、B的等价式为矛盾式
B: A、B的等价式为重言式
C: A、B的等价式为非重言式的可满足式
D: A、B的蕴含式为重言式
A: A、B的等价式为矛盾式
B: A、B的等价式为重言式
C: A、B的等价式为非重言式的可满足式
D: A、B的蕴含式为重言式
举一反三
- 命题公式P→(Q∨P)是 A: 矛盾式 B: 可满足式 C: 重言式 D: 等价式
- 命题公式(P∧(P→Q))→Q是() A: 矛盾式 B: 蕴含式 C: 重言式 D: 等价式
- 命题公式[tex=8.643x1.357]1KyIC3S3Q5NdoVs0lqIrEtBAi1b1p7v71BAMYy8unMAf8pSWTPPAnvj9cmlFCAQK[/tex]是（ ） A: 矛盾式 B: 蕴含式 C: 重言式 D: 等价式
- 公式Q→(P∨Q)的类型是 A: 重言式 B: 矛盾式 C: 可满足式 D: 等价式
- 公式¬(P→Q)∧Q∧R的类型是 A: 重言式 B: 矛盾式 C: 可满足式 D: 等价式