多项选择题

下列公式与"x（Sx→ØPx）真值条件相同的有（）

A."x（Px→ØSx）
B.Ø$x（Px∧Sx）
C."x（ØPx∨ØSx）
D.$xØ（Sx→Px）

点击查看答案&解析

上一题目录下一题

单项选择题

A.对任意公式A "xA 与Ø$xØA 逻辑等值。
B.对任意公式A $xA 与Ø"xØA 逻辑等值。
C.对任意公式A Ø"xA 与$xØA 逻辑等值。
D.对任意公式A "xØA 与Ø$xA 逻辑等值。

单项选择题

A.Ø"x（Hx→"y（Hy→Fxy∨Mxy））
B.Ø"x（Hx→$y（Hy∧（Fxy∨Mxy）））
C.Ø"x（Hx→$y（Hy∧（Fxy∧Mxy）））
D.Ø"x（Hx→"y（Hy→Fxy∧Mxy））

多项选择题

A.R 表示“＜”关系
B.R 表示“≤”关系
C.R 表示“＝”关系
D.R 表示“≠”关系