外卖员，开局被御姐领进42局

字体：

行距：

阅读设置

字体大小： 20

行间距： 18

第170章第一证明·存在性 (2/5)

?y

think(y)

(经验事实：我正在怀疑\/思考)

3.

assume

??z

(think(z)

∧

being(z))

(假设：没有思考者存在)

4.

from

3:

?w

(think(w)

→

?being(w))

(推导：所有思考者都不存在)

5.

from

2

&

4:

think(me)

→

?being(me)

(代入：如果我在思考，则我不存在)

6.

from

2

&

5:

?being(me)

(得出：我不存在)

7.

but

2

asserts

think(me),

which

requires

a

thinker.

上一页

目录书签

下一页

其他最近更新