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

角度

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

  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) 矛盾。
相关推荐
liliangcsdn2 小时前
Leiden社区发现算法的学习和示例
学习·数据分析·知识图谱
DKPT3 小时前
JVM中如何调优新生代和老生代?
java·jvm·笔记·学习·spring
phltxy3 小时前
JVM——Java虚拟机学习
java·jvm·学习
m0_571372826 小时前
嵌入式学习——ARM 体系架构1
arm开发·学习
Rhys..7 小时前
python + Flask模块学习 2 接收用户请求并返回json数据
python·学习·flask
2501_926227948 小时前
.Net程序员就业现状以及学习路线图(四)
学习·.net
滴滴滴嘟嘟嘟.9 小时前
Qt自定义列表项与QListWidget学习
开发语言·qt·学习
Yvonne爱编码9 小时前
零基础学习数据采集与监视控制系统SCADA
学习·信息可视化·信息与通信·数据可视化
肥肠可耐的西西公主9 小时前
后端(JDBC)学习笔记(CLASS 1):基础篇(一)
笔记·学习
励志不掉头发的内向程序员10 小时前
从零开始的python学习——文件
开发语言·python·学习