逻辑学

哲学, 社会学, 语言学, 辩论, 逻辑学

佐恩法则 (Zorn’s Law)

佐恩法则, 哲学, 沟通, 辩论, 逻辑

布尔代数, 数字电路, 电子工程, 计算机科学, 逻辑学

功能完备性 (Functional Completeness)

功能完备性, 布尔运算, 数字电路, 计算机, 逻辑

Mizar系统, 数学家, 波兰, 计算机科学, 逻辑学

安德烈·特里布莱茨 (Andrzej Trybulec)

Mizar, 安德烈·特里布莱茨, 形式化数学, 数学证明, 波兰

哲学, 形而上学, 理论, 认识论, 逻辑学

真值联结 (Truth-value link)

反实在论, 命题, 实在论, 真理, 知识

学习方法, 心理学, 思考, 认知, 逻辑学

分析性推理 (Analytic Reasoning)

分析性推理, 思考能力, 批判性思维, 逻辑思维, 问题解决