单项选择题
下面哪个公式没有自由变元（）
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，C 为两个命题公式，当且仅当（）为一重言式时，称C可由A逻辑地推出。
单项选择题 命题（P®Q）Ù（P®R）的主析取范式中包含（）
