管理类联考——逻辑——形式逻辑——汇总篇——知识点突破——形式逻辑——联言&选言&假言——矛盾

角度

角度------汇总------持续优化

  1. 性质
    (1) 所有的 S 是 P 所有的S是P 所有的S是P 与 有的 S 不是 P 有的S不是P 有的S不是P矛盾
    (2) 所有的 S 不是 P 所有的S不是P 所有的S不是P 与 有的 S 是 P 有的S是P 有的S是P 矛盾
    (3) 这个 S 是 P 这个S是P 这个S是P 与 这个 S 不是 P 这个S不是P 这个S不是P 矛盾
    (1)性质命题的负命题 :"并非"+"性质命题",等价于去掉前面的"并非",再将原性质命题进行如下变化:
    肯定变否定,否定变肯定;所有变有的,有的变所有。
  2. 模态
    (1) 必然 P 必然P 必然P 与 可能不 P 可能不P 可能不P 矛盾
    (2) 必然不 P 必然不P 必然不P 与 可能 P 可能P 可能P 矛盾
    【口诀】必一真一假。一个真来另必假,一个假来另必真 。【当"必然P"为真时,"可能不P"一定为假;当"必然P"为假时,"可能不P"一定为真;反之亦然。】
    (1)模态命题的负命题 :"并非"+"模态命题",等价于去掉前面的并非,再将原"模态命题"进行如下变化:
    肯定变否定,否定变肯定;必然变可能,可能变必然。
    (1)模态命题前的"不"
    当" "越过"可能,必然;都、有的 "时,进行如下互换:
    可能 = 必然
    必然 = 可能
    都 = 有的
    有的 = 都
  3. 假言
    P → Q P→Q P→Q 与 P ∧ ┐ Q P∧┐Q P∧┐Q 矛盾。
    如果 P 则 Q 如果P则Q 如果P则Q 与 P 并且非 Q P并且非Q P并且非Q 矛盾。
  4. 联选言
    (1) P ∨ Q P∨Q P∨Q 与 ┐ P ∧ ┐ Q ┐P∧┐Q ┐P∧┐Q 矛盾,称为 P 或者 Q P或者Q P或者Q 与 非 P 并且非 Q 非P并且非Q 非P并且非Q 矛盾。
    (2) P ∧ Q P∧Q P∧Q 与 ┐ P ∨ ┐ Q ┐P∨┐Q ┐P∨┐Q 矛盾,称为 P 并且 Q P并且Q P并且Q 与 非 P 或者非 Q 非P或者非Q 非P或者非Q 矛盾。
    (3) P ∀ Q P∀Q P∀Q 与 ( P ∧ Q ) ∨ ( ┐ P ∧ ┐ Q ) (P∧Q)∨(┐P∧┐Q) (P∧Q)∨(┐P∧┐Q) 矛盾,可得: P ∀ Q P∀Q P∀Q 与 ( P ∧ Q ) (P∧Q) (P∧Q) 矛盾。
相关推荐
JJJJ_iii1 小时前
【机器学习01】监督学习、无监督学习、线性回归、代价函数
人工智能·笔记·python·学习·机器学习·jupyter·线性回归
Han.miracle2 小时前
数据结构——二叉树的从前序与中序遍历序列构造二叉树
java·数据结构·学习·算法·leetcode
知识分享小能手4 小时前
uni-app 入门学习教程,从入门到精通,uni-app基础扩展 —— 详细知识点与案例(3)
vue.js·学习·ui·微信小程序·小程序·uni-app·编程
●VON5 小时前
重生之我在大学自学鸿蒙开发第九天-《分布式流转》
学习·华为·云原生·harmonyos·鸿蒙
无妄无望5 小时前
docker学习(4)容器的生命周期与资源控制
java·学习·docker
Larry_Yanan7 小时前
QML学习笔记(四十二)QML的MessageDialog
c++·笔记·qt·学习·ui
能不能别报错8 小时前
K8s学习笔记(十九) K8s资源限制
笔记·学习·kubernetes
十安_数学好题速析8 小时前
倍数关系:最多能选出多少个数
笔记·学习·高考
vue学习8 小时前
docker 学习dockerfile 构建 Nginx 镜像-部署 nginx 静态网
java·学习·docker
Lynnxiaowen11 小时前
今天我们开始学习python语句和模块
linux·运维·开发语言·python·学习