CS Wiki

标签: 命题函数

此标签下有2条笔记。

  • 2026年4月20日

    谓词逻辑

    • 离散数学
    • 逻辑与证明
    • 谓词逻辑
    • 量词
    • 全称量词
    • 存在量词
    • 命题函数
  • 2026年4月20日

    1.4 谓词与量词

    • 离散数学
    • 谓词逻辑
    • 量词
    • 全称量词
    • 存在量词
    • 命题函数
    • 学习/离散数学/逻辑与证明

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community