一、命题与联结词

1.什么是命题?

非真即假的陈述句称为命题。例如:3>2。

A. 先判断是否是陈述句。

B. 其次判断它是否有唯一的真值。

2.命题的值?

真或假。真值为真的命题称为真命题,真值为假的命题称为假命题。任何命题的真值都是唯一的。

3.简单命题或原子命题?

不能被分解成更简单的命题。在命题逻辑中,简单命题是最小的基本单位,对它不再细分。例如:3>2。

4.复合命题?

由简单命题通过联结词连结而成的命题。

5.悖论?

既不能真也不能假的陈述句称为悖论。悖论不是命题。

二难推理:课上举例:一个人说什么都能,问他能不能做一个自己搬不动的椅子。

法律逻辑:半费之讼:半费之讼:“如果我打赢官司,那么按法庭判决,被告应该付给我另一半学费;如果被告打赢了官司,那么按我们的合同,被告也应该付给我另一半学费。因而,不论这场官司是赢还是输,被告都应该付给我另一半学费。”

哥德尔的不完美系统:

罗素悖论:

理发师悖论:

二、复合命题

1.否定式,非(┐),否定联结词。非真为假,非假为真。


2.合取式,∧,合取联结词。必须两个都是真,结果才是真。有一个假,结果即为假。


3.析取式,∨,析取联结词。有一个真,结果就是真。


4.蕴含式,→,蕴含联结词。如p→q(等价于┐p∨q),p为条件,p为0时,q的结果与p无关,p为1时,q为1,p为假时,q为假。举例:p为天下雨,q为地面湿。P为0是,即天不下雨,地面可能湿可能干,所以q为1;天下雨时,地面湿为1,否则为假。

对应关系:

P

q

结果

0

0

1

0

1

1

1

0

0

1

1

1

5.等价式,↔,等价联结词。相当于同或。P、q值相等结果为1,否则为0。

Table 1 联结词的定义

p

q

┐p

p∧q

p∨q

p→q

p↔q

0

0

1

0

0

1

1

0

1

1

0

1

1

0

1

0

0

0

1

0

0

1

1

0

1

1

1

1


三、命题公式及其赋值

1.命题常项或命题常元?

简单命题。

2.命题变项或命题变元?

取值1或0的变元。

3.合式公式?

将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串。

也称为命题公式或公式。

4.赋值或解释?

对结果的赋值。例如p的赋值和q的赋值都是结果的赋值。其中是结果为1 的这组值为成真赋值,反之为成假赋值。

5.重言式或永真式?

若A在它的所有赋值下取值均为真。

6.矛盾式或永假式?

若A在它的所有赋值下取值均为假。

7.可满足式?

结果有真有假。

 

离散数学及其应用--第一章-命题逻辑的基本概念相关推荐

  1. 离散数学复习总结 第一章 命题逻辑的基本概念

    命题逻辑的基本概念 申明:以下内容为 笔者根据已学内容自己进行的总结,仅供参考. 1.1命题与联结词 1.1.1命题部分 a命题定义:非真即假的陈述句. b命题的判断结果为真值 真值只有俩个:真或者假 ...

  2. 【离散数学】数理逻辑 第一章 命题逻辑(5) 对偶式、对偶原理

    本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...

  3. 【离散数学】数理逻辑 第一章 命题逻辑(7) 命题逻辑的推理理论

    本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...

  4. 【离散数学】数理逻辑 第一章 命题逻辑(3) 逻辑等价与蕴含

    本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...

  5. 【离散数学】数理逻辑 第一章 命题逻辑(4) 联结词的完备集

    本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...

  6. 第一章 命题逻辑(数理逻辑)

    文章目录 第一章 命题逻辑 1.1 命题与逻辑联结词 Propositional Logic 1.2 命题公式及其赋值 Application of Propositional Logic 1.3 命 ...

  7. 概率统计:第一章 概率论的基本概念

    第一章   概率论的基本概念 内容提要: 一. 加法.乘法原理及排列.组合复习 1.  加法原理  设完成一件事有类方法(其中任一类方法都可达到 完成这件事的目的),若第1类方法有种,第2类方法有种, ...

  8. 概率论-第一章 概率论的基本概念

    目录 概率论-第一章 概率论的基本概念 (1)随机试验 总结 (2)样本空间.随机试验 总结 (3)频率和概率 总结 (4)等可能概型(古典概型) 总结 (5)条件概率 总结 (6)独立性 总结 本章 ...

  9. 【数据结构总结】第一章:数据结构基本概念

    [数据结构总结]第一章:数据结构基本概念 本文主要是以思维导图的形式概括数据结构第一章的精华内容,基本不会用到文字性的内容,目的是为了给大家梳理每个重要的知识点的相关概念,方便大家在复盘的时候快速阅读 ...

  10. 最优化课堂笔记01: 第一章 最优化的基本概念

    第一章  最优化的基本概念 1.最优化求解的数学模型建立 2.例题(考试第一大题:数学模型建立) 解析:优化变量.目标函数(一般取最小化).约束条件 注意: 1)约束条件一般形式为:左边为含决策变量的 ...

最新文章

  1. 突发奇想写的一篇小科幻(如果可以叫做科幻的话)
  2. Linux2.6内核 -- 编码风格(3)
  3. tomcat需要设置环境变量吗
  4. SAP 业务常用表的收集
  5. nginx1.9基于端口的四层负载均衡实践,基于端口的转的负载均衡
  6. [导入]创建、查询、修改带名称空间的 XML 文件的例子
  7. Android 打造编译时注解解析框架
  8. 服务器powershell占用百分百,使用PowerShell统计服务器C盘空间
  9. 一个c3p0的数据库连接池的多线程测试
  10. Rust : 红楼梦一书中文字符的统计
  11. java applet init_java applet init start
  12. 【PotPlayer】敲好用的本地视频播放器
  13. DHCP Relay 配置教程
  14. 笔记本光驱位固态硬盘安装及系统迁移
  15. scheme语言编写执行
  16. Python math.comb() 方法
  17. 【计算机网络】1、为什么要学习计算机网络基础
  18. 【设计模式系列】--单例模式
  19. java 头像 微信群_Android仿微信群聊头像
  20. notepad++查看二进制.class文件——HexEditor插件(64/32位)安装教程

热门文章

  1. QCA-WIFI技术研讨
  2. UiPath手把手中文教程PDF
  3. DELPHI 字符转16进制、16进制转字符
  4. 【项目总结】中国大学生计算机设计(机械制造暨政治正确)大赛
  5. Linux查看网卡是千兆还是万兆网卡
  6. KEIL出现ERROR:L6002U时处理方法
  7. BDTC2016: 中航信 昆仑数据 兮易控股 宝信议题公布
  8. 思科计算机网络技术第一章,cisco思科网络技术教程第一章.ppt
  9. 实时数据流采集工具Flume
  10. 全链路日志追踪系统介绍与思考