离散总结1.1(基础)

  近期重拾了离散的学习 为了给良好的算法打下坚实的基础 下面总结 1.1所学知识

1 数理逻辑研究的中心问题是推理,而推理的前提和结论都是表达判断的陈述句

2 能判断真假的陈述句是命题

3 判断为错误的命题的真值是假 或者 0

4 没有确定真值的陈述句不是命题

5 判断一个陈述句是否命题的步骤 : 先判断是否为陈述句 再看是否真值唯一

6 不能分解的句子称为简单/原子命题 用p q等小写字母代替 一般 p为true q为flase

7 对于简单命题来说 真值是确定的的因而又称之为命题常项/常元

8 对于类似 x+y=5 这种真值可变的陈述句 可称之为命题变项或命题变元 但它不是命题!

9 被连接词连接后的命题称为复合命题 连接词有 或 且 非 等.

10 若p则q 为假 当且仅当 p为真且q为假的时候!

因为暂时打不出数学符号 所以有些不好表述

 

本文出自 “universe” 博客，谢绝转载！