单项选择题
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®CB.C®AC.AÙØCD....
单项选择题设A，C 为两个命题公式，当且仅当（）为一重言式时，称C可由A逻辑地推出。
A.A®CB.C®AC.AÙØCD.AÚØC
命题（P®Q）Ù（P®R）的主析取范式中包含（）A.PÙQÙRB.PÙQÙØRC.PÙØQÙRD.PÙØQÙØ...
单项选择题命题（P®Q）Ù（P®R）的主析取范式中包含（）
A.PÙQÙRB.PÙQÙØRC.PÙØQÙRD.PÙØQÙØR
Ø（PÙQ）ÚT 的对偶式是（）A.（PÙQ）ÚTB.Ø（PÚQ）ÙTC.（PÚQ）ÙTD.Ø（PÚQ）ÙF
单项选择题Ø（PÙQ）ÚT 的对偶式是（）
A.（PÙQ）ÚTB.Ø（PÚQ）ÙTC.（PÚQ）ÙTD.Ø（PÚQ）ÙF
