重定向列表
下面显示从第201条到第250条的共50条结果。
- 反字典序 → 反向字典序
- 反对称性 → 反对称关系
- 反自反性 → 反自反关系
- 可假式 → 命题公式分类#可假式
- 可分配 → 分配律
- 可列 → 可数集
- 可列集 → 可数集
- 可数 → 可数集
- 可数无穷多 → ℵ₀
- 可消去 → 消去律
- 可满足式（命题逻辑） → 命题公式分类#可满足式
- 可满足式（谓词逻辑） → 谓词公式分类#可满足式
- 可演绎 → 演绎
- 可演绎性 → 演绎
- 可真可假式 → 命题公式分类#偶然式
- 可真式 → 命题公式分类#可满足式
- 可结合 → 结合律
- 可证明 → 证明
- 可证明性 → 证明
- 可逆 → 逆元
- 右移 → 算术右移
- 合取命题 → 合取
- 合取式 → 合取
- 合取范式 → 析取范式、合取范式
- 合数 → 质数、合数
- 同余关系 → 同余
- 同余式 → 同余
- 同构（态射） → 同构（范畴）
- 后缀 → 后缀表达式
- 否命题 → 逆命题、否命题、逆否命题
- 否定后件式 → 否定后件
- 否定后件律 → 否定后件
- 否定命题 → 否定
- 否定式 → 否定
- 周期连分数 → 循环连分数
- 和（子群） → 积（子群）
- 回车 → 回车符、换行符
- 回车换行 → 回车符、换行符
- 因数 → 整除关系
- 垂直制表符 → 制表符
- 埃氏筛 → Eratosthenes 筛法
- 基本语义定义 → Tarski 真理定义#真理定义（谓词逻辑）
- 复合关系 → 复合（关系）
- 复合命题 → 原子命题、复合命题
- 奇排列 → 奇偶性（排列）
- 奇置换 → 奇偶性（排列）
- 始对象 → 始对象、终对象
- 子关系 → 包含关系
- 子序列 → 子列
- 子集 → 包含关系