数理逻辑-命题逻辑及形式系统

 

运算优先级与析取 合取符号·

 

 T就是1， F就是0

逻辑等价

 

 

公式分类

 

 

 

 

 

重言式

 

 

 逻辑等价式与逻辑蕴含式

 

逻辑等价式的情况下连接的命题真值相等

 

 

 

 

 

 

 

 一些重要的逻辑等价式

 关于4，5 可以用集合的眼光来解释

 

 

 

  等值演算 对偶式

 

 单线表示一个运算，双线表示一个结果一个事实

 

 

 

 

  范式及基本术语

 

 

  任意文字都是析取子句与合取子句，因此任意文字都是析取范式与合取范式

析取范式是合取子句或者有限个合取子句的析取，也就是说单纯的文字或凡是只有“^"的子句都是析取范式

合取范式是析取子句或者有限个析取子句的合取，也就是说单纯的文字或凡是只有“V"的子句都是合取范式

 

析取范式是命题逻辑中的一种形式，也称为合取范式。

 

 

 

 

主析取范式 主合取范式、

 

 

 

 

 

 

 推理规则

前提为真那结论一定为真的命题叫做重言式也称永真式

 

 

 推理举例