1.独角兽是白色的 2.白色必然存在 3.独角兽存在。在1里写出独角兽时，其实在谓词逻辑里已经是假设独角兽存在了。

所有跟帖： 

• 所以1的意思是存在的独角兽是白色的，于是才能推出3。然而这个叫作循环论证。 -露重烟微- ♀ (0 bytes) () 03/26/2024 postreply 22:18:45

• 你的独角兽和白 是 单纯的两个概念吗？ -JSL2023- ♂ (0 bytes) () 03/27/2024 postreply 07:02:30

• 什么是单纯概念？单纯概念可以除以零吗？ -露重烟微- ♀ (0 bytes) () 03/27/2024 postreply 07:56:00

• 我的理解到头了：）你可以把你的论点应用到老键的歌德尔版。 -JSL2023- ♂ (0 bytes) () 03/27/2024 postreply 08:53:37