06任务_0008
1ABCD2ABCD3ABCD4
下列公式成立的为PQPQPQPQQPPPPQQ表达式PxyPxyQzRxyPxyRxy
．
中
的辖域是
．
命题公式PQR的析取范式是PQRPQRPQRPQR
命题公式PQQ为

A矛盾式B可满足式C重言式D合取范式5
设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为．
AB
fCD6ABCD7ABCD8
设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为（xAxBxxAxBxxAxBxxAxBx下列公式中为永真式．
）．
ABABABABABABABAB
设个体域D是整数集合，则命题