Memes creating here - Meme generator

Сomics meme: "直言命题 亚里士多德 周延 概念 内涵 外延 定义 论证与谬误 重言式 传统对当方阵 两难推理 演绎 归纳 直言/析取/假言三段论 形式逻辑日常应用 联结词 命题逻辑 真值函项、真值表判定 量化 合式公式 推理形式、基本等值式 谓词逻辑 归结推理法 演绎定理 自然演绎系统 一阶命题逻辑公理系统 集合论 辖域与变元出现 范式 解释与赋值 一阶谓词逻辑公理系统 前束范式定理 可计算性理论 递归函数 一阶语言 紧致性 协调 系统的扩充 一阶算术系统 哥德尔不完全性定理 第二不完全性定理 证明论 三值逻辑系统 可能世界语义论 道义逻辑 次协调逻辑 多值逻辑系统 时态逻辑 直觉主义逻辑"