谓词公式[img=226x28]17869c50204db14.png[/img]是( ).
A: 永真式
B: 中性式
C: 无法确定
D: 永假式
A: 永真式
B: 中性式
C: 无法确定
D: 永假式
举一反三
- 谓词公式[img=226x28]17da6cb91f65525.png[/img]是( ). A: 永假式 B: 中性式 C: 永真式 D: 无法确定
- 假设A公式有n个命题变项，则[img=18x19]17de61bcba87c4d.png[/img]个全体极大项的合取、[img=18x19]17de61bcba87c4d.png[/img]个全体极小项的析取式必为( ) A: 永真式、永真式 B: 永假式、永假式 C: 永真式、永假式 D: 永假式、永真式
- 谓词公式[img=171x17]17e0a74ebd2e4cb.png[/img]永假式。
- ┐(┐p∨q)∧q 是( ). A: 永真式 B: 永假式 C: 非永真式的可满足式 D: 无法确定公式类型
- 【单选题】请判断命题公式 p∨q∧r→p∧r的类型 A 重言式(永真式) B 矛盾式(永假式) C 非永真的可满足式 D 无法判定 A. 重言式（永真式） B. 矛盾式（永假式） C. 非永真的可满足式 D. 无法判定