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

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

      命题:

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

      命题的符号化:

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

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

               

      命题逻辑的等值运算:

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

     

       

       

  • 相关阅读:
    (JS/JQ)与Ajax
    JS与JQ的DOM处理
    正则表达式
    JS事件大全
    CSS(初级)学习笔记
    HTML学习笔记
    leetcode记录——65. 有效数字
    dp专题
    Hackerrank---A stones game
    组合博弈问题
  • 原文地址:https://www.cnblogs.com/rhythmic/p/5832789.html
Copyright © 2011-2022 走看看