设S，T，M 为任意集合，S ÅT ={1，2，3}，S ÅM={2，3，4}，若2∈T，则一定有（）……

单项选择题设A={a，b，c}，B={a，b}，则下列命题不正确的是（）

A.A－B={a，b}
B.A∩B={a，b }
C.AÅB={c}
D.BÍA

单项选择题请选择Ø$x yP（x，y）的前束合取范式为（）

A."x Ø"yP（x，y）
B.$x "yØP（x，y）
C."x "yØP（x，y）
D."x $yØP（x，y）

单项选择题下面哪个公式没有自由变元（）

A.（"x）（R（x）®（$y）（R（z）ÙB（y，x）））
B.（"x）（R（x）Ù（$y）（R（y）ÙB（y，x）））
C.（$x）（R（x）Ù（$y）（R（y）ÙB（u，x）））
D.（$x）（R（x）®（$y）（R（y）ÙB（y，tx）））

单项选择题设F（x）：x 是人，G（x）：x 早晨吃米饭。命题“有些人早晨吃米饭”在谓词逻辑中的符号化公式是（）

A.（"x）（F（x）®G（x））
B.（"x）（F（x）ÙG（x））
C.（$x）（F（x）®G（x））
D.（$x）（F（x）ÙG（x））

单项选择题设A，C 为两个命题公式，当且仅当（）为一重言式时，称C可由A逻辑地推出。

A.A®C
B.C®A
C.AÙØC
D.AÚØC