当前位置: 首页 > news >正文

第1章 命题逻辑

2024年12月22日 一稿

1.1 现代逻辑学的基本研究方法

1.2 命题及其表示法

 
1.2.1 命题的概念 

定义1.1        命题是一个可以判断真假的陈述句。


1.2.2 联结词 

与 


 

蕴含

等价

1.3 命题公式与语句形式化

 
1.3.1 命题公式的定义 


1.3.2 公式的层次 

1.3.3 语句形式化
1.3.4 复合命题真假值 
1.3.5 真值表 


1.4 重言式


1.4.1 重言式概述 


1.4.2 逻辑等价式


1.4.3 等值演算 


1.5 对偶与范式


1.5.1 对偶 
1.5.2 简单合取式和简单析取式
1.5.3 范式 
1.5.4 范式的唯一性——主范式 

 

1.6 其他联结词

1.6.1 n元真值函数 
1.6.2 真值函数与命题公式的关系
1.6.3 联结词完备集
1.6.4 单元素联结词构成的联结词完备集


1.7 命题演算的推理理论


1.7.1 有效推理 
1.7.2 有效推理的等价定理

 1.7.3 重言蕴涵式 
1.7.4 形式推理系统 
1.7.5 自然推理系统P2


1.8 命题演算中的归结推理


1.8.1 归结推理规则 
1.8.2 归结反演 
1.8.3 命题逻辑归结反演的合理性和完备性 

习题 


http://www.mrgr.cn/news/81074.html

相关文章:

  • Spring(二)---基于注解的方式实现Bean管理和注入属性
  • 多进程、多线程、分布式测试支持-pytest-xdis插件
  • 解决npm publish发布包后拉取时一直提示 Couldn‘t find any versions for “包名“ that matches “版本号“
  • 完全二叉树的权值(蓝桥杯2019年试题G)
  • Unity局部和世界坐标系相互转换的实现原理
  • 【人工智能】用Python实现图卷积网络(GCN):从理论到节点分类实战
  • Android13下拉状态栏QS面板的加载流程解析
  • 搭建MPI/CUDA开发环境
  • Mapbox-GL 中 `token` 的使用
  • 单元测试使用记录
  • LLaMA-Factory 单卡3080*2 deepspeed zero3 微调Qwen2.5-7B-Instruct
  • 数据结构与算法再探(三)树
  • dockerfile文档编写(2):docker pull、apt install和pip镜像加速
  • EdgeX Core Service 核心服务之 Core Command 命令
  • xiaomiR4c openwrt
  • 2.6 网络面试问题
  • 音视频入门基础:AAC专题(13)——FFmpeg源码中,获取ADTS格式的AAC裸流音频信息的实现
  • strongswan测试证书生成
  • css
  • CDN信息收集(小迪网络安全笔记~
  • FLV视频封装格式详解
  • dockerfile文档编写(3):构建失败后清理缓存(删除容器和镜像相关命令)
  • Day13 用Excel表体验梯度下降法
  • 某狐畅游24校招-C++开发岗笔试(单选题)
  • 一起学Git【番外篇:如何在Git中新建文件】
  • 【全栈开发】----用pymysql库连接MySQL,批量存入