下载APP
举一反三
【单选题】对一阶逻辑公式 的说法正确的是 ( ).
A.
x 是约束的， y 是约束的， z 是自由的
B.
x 是约束的， y 既是约束的又是自由的， z 是自由的
C.
x 是约束的， y 既是约束的又是自由的， z 是约束的
D.
x 是约束的， y 是约束的， z 是约束的
【单选题】对一阶逻辑公式 ∀ x ∀ y ( P ( x , y ) ∧ Q ( y , z )) ∧ ∃ xP ( x , y ) 的说法正确的是
A.
li.li1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20line-height%3A%2012.8px%3B%20font%3A%2010.5px%20SimSun%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.Apple-tab-span%20%7Bwhite-space%3Apre%7D%0Aol.ol1%20%7Blist-style-type%3A%20decimal%7D%0Aol.ol2%20%7Blist-style-type%3A%20upper-alpha%7D x 是约束的， y 是约束的， z 是自由的 ;
B.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2010.5px%20SimSun%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D x 是约束的， y 既是约束的又是自由的， z 是自由的
C.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2010.5px%20SimSun%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D x 是约束的， y 既是约束的又是自由的， z 是约束的
D.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2010.5px%20SimSun%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D x 是约束的， y 是约束的， z 是约束的
【单选题】对一阶逻辑公式 x y(P(x,y) ∧ Q(y,z)) ∧ xP(x,y) 的说法正确的是 ( ) . prefix="o" ns="urn:schemas-microsoft-com:office:office" ?xml:namespace>
A.
x 是约束出现的， y 是约束出现的， z 是自由出现的；
B.
x 是约束出现的， y 既是约束出现的又是自由出现的， z 是自由出现的；
C.
x 是约束出现的， y 既是约束出现的又是自由出现的， z 是约束出现的；
D.
x 是约束出现的， y 是约束出现的， z 是约束出现的．
【单选题】对于一阶逻辑公式 " x ( P ( x , y )∨ Q ( x , z ))∧ R ( x )中的约束变元换名正确的是( )
A.
" ｕ（ P （ u ， y ）∨ Q （ｕ， z ））∧ R （ｕ）
B.
" ｕ（ P （ｕ， y ）∨ Q （ｕ， z ））∧ R （ x ）
C.
" y （ P （ y ， y ）∨ Q （ y ， z ））∧ R （ x）
D.
" x （ P （ｕ， y ）∨ Q （ｕ， z ））∧ R （ x ）
【单选题】以下四个一阶逻辑公式不正确的是 。
A.
￢∀xF（x）<=>∃x￢F（x）
B.
∃x（F（x）∨ G（x））<=> ∃xF（x）∨ ∃x G（x）
C.
￢∃xF（x）<=>∀x￢F（x）
D.
∃x（F（x）∧ G（x））<=> ∃xF（x）∧ ∃x G（x）