以下谓词公式中，( )是逻辑有效式。
A、"x Q(x) Þ ($x Q(x)∨"y S(y) ) ;
B、$x(A(x)ÞB) Û $xA(x)ÞB;
C、$x(A(x)∧B(x)) Û $xA(x)∧$xB(x);
D、"x$y P(x,y) Þ $x"y P(x,y)
发布时间：2025-07-24 01:01:01
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 快搜搜题库 官方老师解答 )
答案："x Q(x) Þ ($x Q(x)∨"y S(y) )
