首页 > 其他分享 >离散数学笔记-- 谓词

离散数学笔记-- 谓词

时间:2022-11-08 20:35:50浏览次数:40  
标签:逻辑 -- 笔记 离散数学 例子 谓词

基本概念:

 

 看下面的小例子:

 

特性谓词,拓展定义域的时候:

 

看看就行:

 

具体展开: 

 

 

 具体应用3步骤: 

 

 一些逻辑变化:

 

 仔细看下面的例子, 提到符号前面的时候,要变号:

 

 顺序很重要:

 

谓词的自然推理逻辑: 

 

 ???

 

一些规则: 

 

 

例题和方法总结: 

 

 

 

 

 

标签:逻辑,--,笔记,离散数学,例子,谓词
From: https://www.cnblogs.com/Lamboofhome/p/16871073.html

相关文章

  • Android 活动组件
    活动(Activity)学习目标1、了解Activity的概念2、掌握Activity的创建和启动方法3、掌握Activity之间消息传递的方法4、掌握Activity的生命周期5、掌握Activity的启动......
  • 代码随想录day44 | 完全背包 518. 零钱兑换 II 377. 组合总和 Ⅳ
    完全背包文章思路有N件物品和一个最多能背重量为W的背包。第i件物品的重量是weight[i],得到的价值是value[i]。每件物品都有无限个(也就是可以放入背包多次),求解将哪些物......
  • 数组翻转
    importjava.util.Scanner;publicclassEext{ publicstaticvoidmain(String[]args){ int[]array={1,2,3,4,5,6}; //把array[0]和array[5]进行交换{5,2,3,......
  • SpringBoot05(内部加载配置顺序)
    1-优先级小结:每个文件里面的配置都会被解析,但是会根据1-4的优先级而选取......
  • 【单片机/嵌入式】【Keil5警告】Duplicate input file ...【文件重复包含】
    【平台】GD32F450ZGT6【警告类型】.\Objects\GD32F450.axf:Warning:L6304W:Duplicateinputfile.\objects\exti_1.oignored.【问题描述】 【解决方法】删去重......
  • AcWing 896.最长上升子序列Ⅱ
    题目链接:http://www.acwing.com/problem/content/898/不像是dp,更像是贪心相对于数据小的上升子序列问题,此题用过的二分后的时间复杂度为nlogn。在本题中首先需要明白:......
  • 关于常量池的分析
    关于常量池的分析第一种情况publicclassDome{publicstaticvoidmain(String[]args){Strings1="ab";Strings2="ab";System......
  • 项目中使用ElementUI的Form 组件
    使用ElementUI的Form组件(1)首先必须是项目中安装ElementUI库(2)引入Vue的项目中(3)引入对应的组件名称并且全局注册ElementUI安装npmielement-ui-S引入Element......
  • vuex 刷新页面 数据不丢失的方法
    exportdefault{name:'app',//加入以下代码解决页面刷新时vueX数据丢失created(){//在页面刷新时将vuex里的信息保存到sessionStorage里window.ad......
  • 【流水】2022.11.08
    今天有是信息课看python,孩子人傻了赶紧luogu上用python水了几道题。今天考试除了暴力分拿的十分健全就没啥优点了可怜紫飨被gank到三机房去了,可怜(悲听说要......