zoukankan      html  css  js  c++  java
  • 《离散数学》-命题逻辑-等值运算公式

      数理逻辑是研究推理的数学学科,它首先完成是对现象的一种符号化处理,基于符号化处理,它在将着重于推理过程以及推理的结果。

      命题:

      称所表达的判断式真或假但不能可真可假的陈述句为命题。

      命题的符号化:

      一般使用小写字母p、q、r、s来表示简单的陈述句命题。在这些陈述句中均无连接词出现,称它们为简单命题或原子命题。从自然语法的角度来讲,原子命题就是一些单句,没有“如果…那么…”这种关联词的,那么相对的,有了这种“联接词”,就称为符合命题。

      下面介绍很常见的几种联结词。

               

      命题逻辑的等值运算:

      其实给出联结词的时候,可能你就已经发现,它们的概念其实和集合论中我们所说的交、并、补的概念很类似,下面给出的等值运算律,其实与集合运算律也质同的。

     

       

       

  • 相关阅读:

    队列
    数据结构简介
    标准模板库
    类模板
    函数模板
    srvctl error
    FLASH BACK
    RAC 设置archive log模式
    CHAPTER 1 Architectural Overview of Oracle Database 11g
  • 原文地址:https://www.cnblogs.com/rhythmic/p/5832789.html
Copyright © 2011-2022 走看看