论句子逻辑语言的真值赋值定理
逻辑
2023-03-21 v1
摘要
本项目包含两章。第 2 章有两节。首先，我们使用构造序列定义句子逻辑语言的合式公式。其次，我们使用句子逻辑语言证明真值赋值。第 3 章有两节。首先，我们定义递归定理。其次，我们使用递归定理的一般表述证明真值赋值。
引用
@article{arxiv.2303.10750,
title = {On the Truth Assignment Theorem of the Language of Sentential Logic},
author = {Tianyi Sun},
journal= {arXiv preprint arXiv:2303.10750},
year = {2023}
}