文章目录
零、记忆
形式逻辑——文字提炼
论证逻辑——文字提炼
综合推理——文字提炼
逻辑——图像图画
一、形式逻辑
性质&模态
又称:简单命题、直言判断
对当关系
负/矛盾命题
三段论
推理
联言&选言
定义
负/矛盾命题、德摩根定理、至多至少
反对与下反对关系
真值表
假言
充分条件、必要条件、充要条件
除非,否则
负/矛盾命题
推理
各种假言
真值表
假言&选言
A → B = ┐ A ∨ B A→B=┐A∨B A→B=┐A∨B、要么、或者与箭头的关系
假言&联言
A → B 矛盾 A ∧ ┐ B A→B矛盾A∧┐B A→B矛盾A∧┐B