本文介绍了数理逻辑中的核心概念，包括协调性、独立性、合理性和完备性。此外，还涉及命题逻辑、一阶逻辑及模态和时序逻辑，如必须（□）和偶然（◇）的概念，以及程序验证和语义表格在逻辑证明中的应用。
第一章 三个逻辑概述
consistency ：协调性（此公式和其非，不能同时成立）
independence ：独立，公理独立，无其他公理能推出
soundness ：合理性，推导出公式true
completeness :完备性，所有为真语句，均可推导出（同一逻辑系统内）
atomic proposition ：简单公式 propositional logic ：命题逻辑（复杂逻辑）
Boolean operators ：联结词 implies :蕴涵词（如果....就....）
Frist-order logic ：一阶逻辑
Model and Temporal logics ：模态和时序逻辑
□ necessarily ：必须 ◇ eventually ：偶然
program verification ：程序验证：测试模型有效性
semantic tableaux ：树结构
扫一扫
3833
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
