已知F：(∀x)[ (∃y)(A(x, y)∧B(y))→(∃y)(C(y)∧D(x, y))], G:¬ (∃x)C(x)→(∀x)(∀y)(A(x, y)→¬B(y)), G为F的逻辑结论，将F与¬G化子句集后，子句集中含有的子句包括（ ）
已知
F、(∀x)[ (∃y)(A(x, y)∧B(y))→(∃y)(C(y)∧D(x, y))], G:¬ (∃x)C(x)→(∀x)(∀y)(A(x, y)→¬B(y)), G为F的逻辑结论，将F与¬G化子句集后，子句集中含有的子句包括（ ）
发布时间：2025-06-19 10:00:52
