谓词公式[img=226x28]17da6cb91f65525.png[/img]是( ).
A: 永假式
B: 中性式
C: 永真式
D: 无法确定
A: 永假式
B: 中性式
C: 永真式
D: 无法确定
C
举一反三
- 谓词公式[img=226x28]17869c50204db14.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. 无法判定
内容
- 0
谓词公式xP(x)→xP(x)的类型为永真式。
- 1
命题公式(p∧(p→q))→q是 A: 永假式 B: 非永真式的可满足式 C: 永真式 D: 等价式
- 2
命题公式(PÙQ）®P是( ) A: 永真式 B: 永假式 C: 可满足式 D: 合取式
- 3
一阶公式[img=388x25]1803a0f4e159c80.png[/img]是永真式
- 4
谓词公式如同命题公式，根据真值可分为永真式、矛盾式