命题

命题是数学、逻辑学中的基本概念. 大致说, 命题是指代表可以判断真假、拥有真值的句子.

目录

1例子
2相关概念

1例子

•

恒真命题、恒假命题

2相关概念

•	Curry–Howard 对应
•	判断

基本概念

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

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

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

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

亚结构逻辑

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

取自 “https://www.bananaspace.org/w/index.php?title=命题&oldid=22151”

命题逻辑