数理逻辑单词

第一章 三个逻辑概述

consistency ：协调性（此公式和其非，不能同时成立）

independence ：独立，公理独立，无其他公理能推出

soundness ：合理性，推导出公式true

completeness :完备性，所有为真语句，均可推导出（同一逻辑系统内）

atomic proposition ：简单公式      propositional logic ：命题逻辑（复杂逻辑）

Boolean operators ：联结词       implies :蕴涵词（如果....就....）

Frist-order logic ：一阶逻辑

Model a