单项选择题
设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 -
单项选择题
命题（P®Q）Ù（P®R）的主析取范式中包含（）
A.PÙQÙR
B.PÙQÙØR
C.PÙØQÙR
D.PÙØQÙØR -
单项选择题
Ø（PÙQ）ÚT 的对偶式是（）
A.（PÙQ）ÚT
B.Ø（PÚQ）ÙT
C.（PÚQ）ÙT
D.Ø（PÚQ）ÙF
