分类:逻辑学小作品

• Template:Logic-stub

T

• T-模式

一

• 一元谓词演算

上

• 上界和下界

下

• 下反对关系

中

• 中国逻辑学会
• 中项

互

• 互相矛盾

信

• 信念修正

假

• 假前提

全

• 全称实例化

关

• 关系演算

具

• 具體化謬誤

内

• 内涵

参

• 參考

双

• 双重否定除去

句

• 句子 (数理逻辑)

可

• 可废止推理
• 可废止逻辑
• 可測試性
• 可识别语言

否

• 否命题

圆

• 圆柱代数

塔

• 塔斯基-沃特测试

子

• 子结构

字

• 字母表 (计算机科学)

层

• 层化

嵌

• 嵌套堆栈自动机

工

• 工具論

布

• 布尔域

形

• 形式语义学

文

• 文字 (数理逻辑)

时

• 时间逻辑

林

• 林登鮑姆引理
• 林登鲍姆-塔斯基代数

模

• 模态一阶逻辑
• 模態代數
• 模糊规则

正

• 正规模态逻辑

爆

• 爆炸原理

真

• 真值语义

确

• 确定上下文无关文法

类

• 类型居留问题

线

• 线性逻辑

结

• 结构 (数理逻辑)

自

• 自指
• 自足算子

规

• 规范化性质

认

• 认识逻辑

论

• 论域

谓

• 谓词逻辑

逆

• 逆否命题
• 逆命题

逻

• 逻辑史
• 逻辑断言
• 邏輯語義學

限

• 限制 (邏輯)

非

• 非单调逻辑
• 非直谓性

饱

• 飽和模型

高

• 高阶逻辑