【单选题】以下谓词公式中,( )是逻辑有效式。
A.
" x Q ( x ) Þ ( $ x Q ( x ) ∨ " y S ( y ) )
B.
$ x (A( x ) Þ B) Û $ x A( x ) Þ B
C.
$ x ( A ( x ) ∧ B ( x )) Û $ x A ( x ) ∧ $ x B ( x )
D.
" x $ y P ( x , y ) Þ $ x " y P ( x , y )
【单选题】以下谓词公式中, ( ) 是逻辑有效式。
A.
$ x (A( x ) Þ B) Û $ x A( x ) Þ B
B.
" x Q ( x ) Þ ( $ x Q ( x ) ∨ " y S ( y ) )
C.
" x $ y P ( x , y ) Þ $ x " y P ( x , y )
D.
$ x ( A ( x ) ∧ B ( x )) Û $ x A ( x ) ∧ $ x B ( x )
【简答题】谓词命题公式("x)(P(x)→Q(x)∨R(x,y))中的约束变元为 ( ).
【单选题】谓词公式 " x(P(x,y) ∨ Q(z)) ∧ $ y(R(x,y) → " z Q(z)) 中, " x 的辖域是 ( ) 。
【单选题】交通信号灯的识别方法主要有基于颜色特征和()特征的识别方法
【单选题】谓词公式 ( " x(P(x)∨ $ yR (y))→Q(x)) 中变元 x 是( )