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

角度

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

  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) 矛盾。
相关推荐
微露清风10 小时前
系统性学习C++-第八讲-vector类
java·c++·学习
月临水10 小时前
Git 学习笔记
笔记·git·学习·1024程序员节
奋斗的牛马10 小时前
FPGA—ZYNQ学习Debug(三)
学习·fpga开发
qq_4017004110 小时前
matlab学习
学习·算法·matlab
hd51cc10 小时前
C++ 类的学习(四) 继承
开发语言·c++·学习
行思理12 小时前
Docker 应该如何学习 分四个阶段
学习·docker·容器
大山同学13 小时前
Blender学习-基础移动
数码相机·学习·blender
电子云与长程纠缠13 小时前
Blender入门学习05 - 材质
学习·blender·材质
机器学习之心13 小时前
PSO-Transformer-BiLSTM分类预测/故障诊断,优化参数为注意力机制头数、学习率、正则化系数、隐藏层单元,图很多,包括分类效果图,混淆矩阵图
学习·分类·transformer·pso-transformer
摘星编程14 小时前
【成长纪实】HarmonyOS Next学习地图:新手避坑指南与核心知识点拆解
学习·华为·harmonyos·鸿蒙开发