模板: 逻辑学

(重定向自模板:数理逻辑)

基本概念

命题 • 真值 • 相继式、判断、推导规则 • 逻辑连接词 • 逻辑和谐

真、假 • 或、与、非、蕴涵 • 排中律 • Heyting 代数、Boole 代数

一阶逻辑 • 一阶语言 • 一阶理论 • 二阶逻辑 • 高阶逻辑 • 谓词 • 全称量词、存在量词

模型 • Gödel 完备性定理 • 紧性定理 • 量词消去

亚结构逻辑

线性逻辑 • 相关逻辑 • 仿射逻辑 • 顺序逻辑 • 伴随逻辑

取自 “https://www.bananaspace.org/w/index.php?title=模板:逻辑学&oldid=22099”