• 日期: 2025-05-06
  • 标签: 社会

谓词公式如下： (1) ∀x (清洁(x) → 喜欢人(x)) (2) ∀x (苍蝇(x) → ¬喜欢人(x))

证明： 假设苍蝇是清洁的，则根据(1)式，有喜欢人(苍蝇)，与(2)式矛盾。因此，苍蝇不是清洁的，即 ¬清洁(苍蝇)。


原文地址: http://www.cveoy.top/t/topic/biwv 著作权归作者所有。请勿转载和采集!

免费AI点我,无需注册和登录