命题与逻辑结构_第1页
命题与逻辑结构_第2页
命题与逻辑结构_第3页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

1、命题与逻辑结构 知识点总结1、命题：用语言、符号或式子表达的，可以判断真假的陈述句.真命题：判断为真的语句.假命题：判断为假的语句.2、“若p，则0”形式的命题中的p称为命题的条件，q称为命题的结论.3、对于两个命题，如果一个命题的条件和结论分别是另一个命题的结论和条件，则这两个命题称为互逆 命题.其中一个命题称为原命题，另一个称为原命题的逆命题。若原命题为“若p，则q”，它的逆命题 为“若q，则p ”.4、对于两个命题，如果一个命题的条件和结论恰好是另一个命题的条件的否定和结论的否定，则这两个 命题称为互否命题.中一个命题称为原命题，另一个称为原命题的否命题.若原命题为“若p，则q”，则 它

2、的否命题为“若f，则f ”.5、对于两个命题，如果一个命题的条件和结论恰好是另一个命题的结论的否定和条件的否定，则这两个 命题称为互为逆否命题。其中一个命题称为原命题，另一个称为原命题的逆否命题。若原命题为“若 p，则q ”，则它的否命题为“若f，则p ”。逆命鼬原命题否命题 若F则F逆否命鼬若心则F若p财6、四种命题的真假性:原命题逆命题否命题逆否命题真真?真真真假假真假真真假假假假假命题的真假性之间的关系：）两个命题互为逆否命题，它们有相同的真假性;(2 )两个命题为互逆命题或互否命题，它们的真假性没有关系.7、若p n q，则p是q的充分条件，q是p的必要条件.若p = q，则p是q的充

3、要条件（充分必要条件）.8、用联结词“且”把命题p和命题q联结起来，得到一个新命题，记作p q.当p、q都是真命题时，p q是真命题；当p、q两个命题中有一个命题是假命题时，p q是 假命题!用联结词“或”把命题p和命题q联结起来，得到一个新命题，记作p v q.当p、q两个命题中有一个命题是真命题时，p v q是真命题；当p、q两个命题都是假命题时， p v q是假命题.对一个命题p全盘否定，得到一个新命题，记作p .若p是真命题，则p必是假命题；若p是 假命题，则p必是真命题.9、短语“对所有的”、“对任意一个”在逻辑中通常称为全称量词，用“ V ”表示.成立”，记作“ Vx eMp G)”.含有全称量词的命题称为全称命题.全称命题“对M中任意一个x，有P短语“存在一个”、“至少有一个”在逻辑中通常称为存在量词，用“ 3 ”表示.含有存在量词的命题称为特称命题.特称命题“存在M中的一个x，使P （x）成立”，记作“ 3x eM ，p (x)”.10、全称命题PVx eM ,p （x），它的否定rp :

人人文库> 全部分类> 图纸下载 > 毕业设计

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论