公式¬(P→Q)∧Q∧R的类型是
A: 重言式
B: 矛盾式
C: 可满足式
D: 等价式
A: 重言式
B: 矛盾式
C: 可满足式
D: 等价式
B
举一反三
内容
- 0
公式(¬p→q)→(q→¬p)的公式类型为() A: 矛盾式 B: 可满足式 C: 重言式 D: 不确定
- 1
命题公式¬(pÙq)↔(p®¬q)的类型是() A: 重言式 B: 非重言式的可满足式 C: 矛盾式 D: 简单析取式
- 2
命题公式(p∧q)→(p∨q)是( )类型的公式。 A: 矛盾式 B: 可满足式 C: 重言式 D: 不确定
- 3
命题公式(P∧(P→Q))→Q是() A: 矛盾式 B: 蕴含式 C: 重言式 D: 等价式
- 4
命题公式(p∧(p→q))→q是() A: 矛盾式 B: 蕴涵式 C: 重言式 D: 等价式