设a（x，y）、b（x，y）和c（x，y）是三个语句，变量x和y从某个宇宙中选择。考虑下面的陈述：
(∃十）(∀y） [（a（x，y）∧ b（x，y））∧ -c（x，y）]
null
以下哪一项是其等效项？
（A） (∀十）(∃y） [（a（x，y）∨ b（x，y））→ c（x，y）] （B） (∃十）(∀y） [（a（x，y）∨ b（x，y））∧-c（x，y）] （C） ¬ (∀十）(∃y） [（a（x，y）∧ b（x，y））→ c（x，y）] （D） ¬ (∀十）(∃y） [（a（x，y）∨ b（x，y））→ c（x，y）] 答复: （C） 说明： 选择（C）是
= ¬ (∀十）(∃y） [（a（x，y）∧ b（x，y））→ c（x，y）]
= ¬ (∀十）(∃y） [a]∧ B→ c]
= ¬ (∀十）(∃y） [（ab）“+c]
= ∃ 十、∀ y[（ab）“+c]”
= ∃ 十、∀ y[abc’]
= ∃ 十、∀ y[a]∧ B∧ c-c]
这与给定的表达式相同。
(∃十）(∀y） [（a（x，y）∧ b（x，y））∧ -c（x，y）] 这个问题的小测验
© 版权声明
文章版权归作者所有，未经允许请勿转载。
THE END
![关于”PostgreSQL错误：关系[表]不存在“问题的原因和解决方案-yiteyi-C++库](https://www.yiteyi.com/wp-content/themes/zibll/img/thumbnail.svg)
