随笔分类 - 2022 春

摘要：逻辑公理系统 Pre 命题合式公式定义常量 0, 1 是合式公式命题变量是合式公式若

Q, R

$Q,R$ 是合式公式，则

(\neg Q), (Q \to R)

$(\neg Q), (Q\to R)$ 是合式公式只有有限次应用

(1) - (3)

$(1)-(3)$ 构成的公式是合式公式项形成规则谓词合式公式缩写定义谓词公理系统中仅使用了 $\n 阅读全文

posted @ 2022-07-12 04:39 wnico 阅读(562) 评论(0) 推荐(0) 编辑

昵称： wnico
园龄： 3年2个月
粉丝： 0
关注： 0

2025年3月

日

一

二

三

四

五

六

wnico