以下谓词公式中,( )不是逻辑有效式。
A、($x)(P(x)∧Q(x)) Þ ($x) P(x)∧($x) Q(x);
B、("x)(P(x)∧Q(x)) Þ ("x) P(x)∧("x) Q(x);
C、($x)(P(x)∧Q(x)) Û ($x) P(x)∧($x) Q(x);
D、("x)(P(x)∧Q(x)) Û ("x) P(x)∧("x) Q(x)
发布时间:2025-02-01 21:33:00
A、($x)(P(x)∧Q(x)) Þ ($x) P(x)∧($x) Q(x);
B、("x)(P(x)∧Q(x)) Þ ("x) P(x)∧("x) Q(x);
C、($x)(P(x)∧Q(x)) Û ($x) P(x)∧($x) Q(x);
D、("x)(P(x)∧Q(x)) Û ("x) P(x)∧("x) Q(x)