以下谓词公式中,( )不是逻辑有效式。
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)
发布时间:2024-10-10 12:05:30
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)