单项选择题

下面哪个公式没有自由变元（）

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）））

点击查看答案

上一题目录下一题

单项选择题

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.A®C
B.C®A
C.AÙØC
D.AÚØC

单项选择题

A.PÙQÙR
B.PÙQÙØR
C.PÙØQÙR
D.PÙØQÙØR