File:Formal logic template.svg
外观
此SVG文件的PNG预览的大小:48 × 48像素。 其他分辨率:240 × 240像素 | 480 × 480像素 | 768 × 768像素 | 1,024 × 1,024像素 | 2,048 × 2,048像素。
原始文件 (SVG文件,尺寸为48 × 48像素,文件大小:37 KB)
文件历史
点击某个日期/时间查看对应时刻的文件。
日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
---|---|---|---|---|---|
当前 | 2009年6月6日 (六) 22:12 | 48 × 48(37 KB) | Urutseg | {{Information |Description=template icon |Source=own work |Date=2009-06-06 |Author=user:Urutseg |Permission=Own work, copyleft: Multi-license with GFDL and Creative Commons CC-BY-SA-2.5 and older versions (2.0 and 1.0) |other_versions= }} {{self2|GFDL|cc |
文件用途
以下59个页面使用本文件:
- T-模式
- 一元谓词演算
- 上界和下界
- 下反对关系
- 中国逻辑学会
- 中项
- 互相矛盾
- 信念修正
- 全称实例化
- 关系演算
- 具體化謬誤
- 内涵
- 參考
- 双重否定除去
- 句子 (数理逻辑)
- 可废止推理
- 可废止逻辑
- 可測試性
- 可识别语言
- 否命题
- 圆柱代数
- 塔斯基-沃特测试
- 子结构
- 字母表 (计算机科学)
- 层化
- 嵌套堆栈自动机
- 工具論
- 形式语义学
- 文字 (数理逻辑)
- 时间逻辑
- 林登鮑姆引理
- 林登鲍姆-塔斯基代数
- 模态一阶逻辑
- 模態代數
- 模糊规则
- 正规模态逻辑
- 爆炸原理
- 真值语义
- 确定上下文无关文法
- 类型居留问题
- 线性逻辑
- 结构 (数理逻辑)
- 自指
- 自足算子
- 规范化性质
- 认识逻辑
- 论域
- 谓词逻辑
- 逆否命题
- 逆命题
- 逻辑史
- 逻辑断言
- 邏輯語義學
- 限制 (邏輯)
- 非直谓性
- 飽和模型
- 高阶逻辑
- 鬼祟謬誤
- Template:Logic-stub
全域文件用途
以下其他wiki使用此文件:
- bg.wikipedia.org上的用途
- bn.wikipedia.org上的用途
- en.wikipedia.org上的用途
- ka.wikipedia.org上的用途
- ps.wikipedia.org上的用途
- ru.wikipedia.org上的用途
- Вероятность
- Подмножество
- Множество
- Логика первого порядка
- Категория:Логика
- Определение (логика)
- Алгебра логики
- Участник:Beroal
- Математическая логика
- Контрпример
- Конъюнкция
- Дизъюнкция
- Логика второго порядка
- Логика
- Теория вычислимости
- Высказывание (логика)
- Википедия:Шаблоны/Участники/Интересы
- Терм (логика)
- Антитезис
- Действительность
- Семантика
- Традукция
- Противоречие
- Индуктивное умозаключение
- Дедуктивное умозаключение
- Редукция (логика)
- Логика высказываний
- Симметричное отношение
- Модальная логика
- Нечёткая логика
- Умозаключение
- Антиномия
- Конструктивная математика
- Википедия:Шаблоны/Философия
- Диаграмма Эйлера
- Обобщение понятий
- Интуиционистская логика
- Шаблон:Logic-stub
- Категория:Незавершённые статьи по логике
- Формальная логика
- Подстановка
- Логическая операция
查看此文件的更多全域用途。