题目内容

设p:天晴,q:小王去踢足球。“张华去踢足球仅当天晴的时候.”可符号化为:p®q 。

查看答案
更多问题

语句“若这个公式为永真蕴含式,则它的真值不能为假。”是命题。

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

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

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

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

答案查题题库