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
- Категория:Незавершённые статьи по логике
- Формальная логика
- Подстановка
- Логическая операция
檢視此檔案的更多全域使用狀況。