单项选择题
“有的被告(Bx)不是诚实的(Cx)”这一命题的逻辑形式,可用谓词公式表示为()。
A.($x)(Bx∧Gx)
B.($x)(Bx∧~Gx)
C.(∀x)(Bx→Gx)
D.(∀x)(Bx→~Gx)
点击查看答案&解析
相关考题
-
单项选择题
“这张桌子上的东西(Tx)都不是危险品(Dx)”这一命题的逻辑形式,可用谓词公式表示为()。
A.(∀x)(Bx→Gx)
B.(∀x)(Bx→~Gx)
C.($x)(Bx∧Gx)
D.($x)(Bx∧~Gx) -
单项选择题
“所有A大学生(Sx)都是考霸(Px)”这一命题的逻辑形式,可用谓词公式表示为()。
A.("x)(Sx→Px)
B.("x)(Sx→~Px)
C.($x)(Sx∧Px)
D.($x)(Sx∧~Px) -
单项选择题
“某大学法学专业的本科生(Bx)都是高分录取的(Gx)”这一命题的逻辑形式,可用谓词公式表示为()。
A.($x)(Bx∧Gx)
B.($x)(Bx∧~Gx)
C.(∀x)(Bx→Gx)
D.(∀x)(Bx→~Gx)