以下谓词公式中,( )不是逻辑有效式。
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-08-03 06:21:16
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)