逻辑趣题

2026-06-20

设一阶语言

其中 是二元函数符号， 是常元符号， 是一元函数符号。

定义缩写：

对非空有限字

定义缩写

定义句子

令

1

证明

2

求