【多选题】判断公式 F(x,y)→(G(x,y)→F(x,y)) 的类型。
【简答题】判断下列公式的类型( 永真式,永假式,可满足式 ) (1) F(x,y)→(G(x,y)→F(x,y)). ( ) (2) " x(F(x)→F(x))→ $ y(G(y)∧¬G(y)).( ) (3) " x $ y F(x,y)→ $ x " yF(x,y). ( ) (4) $ x " y F(x,y)→ " y $ x F(x,y). ( ) (5)...
【判断题】理论上“中一二”进攻阵形最多有4个进攻点。
【多选题】关于矫形器名称的英文缩写,下列哪些是错误的?
【单选题】卧式铣床主轴回转中心线对工作台面的平行度公差为( )。
【判断题】公式 x ( F(x ) y ( G ( y ) ∧ H ( x , y )) ) 是前束范式。
【单选题】用插入主轴锥孔的检验棒检验卧式铣床主轴回转中心线对工作台台面的平行度时,检验棒伸出端只许()倾斜。
【单选题】关于矫形器名称的英文缩写,下列哪项是错误的
【单选题】判断公式 x(F(x)→F(x))→ y(G(y)∧ G(y))的类型。