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

单项选择题设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

单项选择题下列式子（）是永真式。

A.Q®（PÙQ）
B.P®（PÙQ）
C.（PÙQP）
D.（PÚQ）®Q

单项选择题P 为任意合式公式，Q：为矛盾式。则PÙQ 是（）

A.矛盾式
B.可满足式
C.蕴含式
D.重言式