题目内容

设P:天晴,Q:我去打球,则命题“若天晴,则我不去打球”可符号化为( )。

A. ØQ®P
B. P®ØQ
C. P«ØQ
D. ØP®Q

查看答案

搜索结果不匹配？点我反馈

更多问题

一个谓词公式在不同的解释下可能得到不同的真值。()

前束范式是指所有量词都非否定地放在公式的最前端且其辖域都延伸至公式的末端的谓词公式。()

运用约束变元的改名规则和自由变元的代入规则时,均不能改变原有的约束关系。()

1. 设个体域为整数集，则“$y"x(x-y=0)”公式的意义是( )。

A. 对任一整数x存在整数 y满足x-y=0
B. 存在整数y对任一整数x满足x-y=0