法律逻辑学思维导图

这是一个关于法律逻辑学思维导图，介绍了命题的一般特征、 性质命题、复合命题、 推理等。

概念

• 含义
  • 客观事实的投影
• 内涵
  • 分类
    • 知识型内涵
    • 规定性内涵
• 外延
  • 概念所指
  • 单独概念VS普通概念
  • 集合概念VS非集合概念
  • 简单概念VS复合概念
  • 其他类
    • 正负
    • 虚实
• 分类
  • 全同关系
  • 包含关系
  • 交叉关系
  • 全异关系
• 定义
  • 含义
  • 作用
  • 一般模式
  • 分类
    • 根据对象不同
      • 说明定义
      • 规定定义
    • 实质定义
      • 日常定义（普通定义）
      • 专用定义
    • 构成性质
      • 合取式定义
      • 析取式定义
  • 外延
    • 错误类型
      • 定义过宽
      • 定义过窄
      • 定义交叉
      • 定义全异
      • 同语反复
      • 循环定义
• 推理
  • 程序正义
    • 纯粹的程序正义
    • 完全的程序正义
    • 不完全的程序正义
  • 含义
    • 认定案件事实
    • 适用法律规范
• 复合命题
  • 含义
  • 类型
    • 联言命题
      • 组成
        • 联言肢
        • 连接词
      • 公式：P并且q，真假值：全真为真，有假为假
    • 选言命题
      • 组成
        • 选言肢
        • 连接词
      • 公式：p或者q ，真假值：只要有一个选言肢为，真则为真
      • 分类
        • 相容选言命题
        • 不相容
    • 假言命题
      • 组成
        • 假言肢
        • 连接词
      • 分类
        • 充分条件假言命题
        • 必要条件，假言命题
    • 模态命题
      • 含义
        • 广义：包含规范模态命题
        • 侠义：真值模态命题，断定事物具有可能值或必然的命题
      • 分类
        • 真值模态命题
        • 规范模态命题
• 性质命题
  • 基本类型
    • 全称命题
    • 特征命题
    • 单称命题
  • 直言命题的类型
    • 全称肯定命题
    • 全称否定名称
    • 特称肯定命题
    • 特称否定命题
    • 单称肯定命题
    • 单称否定命题
  • 词项周延性
    • 一个性质命题的主项是否周延取决于命题是否为全称性命题
    • 性质命题谓项是否周延取决于是否为否命题
  • 命题类型
    • SAP
    • SEP
    • SIP
    • SOP
  • 命题交换
    • 换质法
    • 换位法
    • 戾换法
• 命题的一般特征
  • 判断
    • 客观事实情况
    • 肯定或否定
  • 符号
    • 意义规则
      • 习惯的意义规则
      • 规定的意义规则
  • 语言：一种符号系统
  • 语句：直接明确地传达某种思想的语言形式
  • 陈述：描述客观事实
  • 判断同语句的联系：在头脑中形成»»陈述表达
    • 所有的语句不等于判断
  • 判断与语句形式并非一一对应
  • 分类
    • 描述命题
      • 特征
        • 有所断定又具真假值
        • 严格逻辑意义上的判断
    • 评价命题