One Forth

CONCEPT OUTLINE / logic-and-quantifiers

命题逻辑与量词

区分命题、蕴含、等价、全称量词和存在量词，并正确否定带量词的陈述。

约 60 分钟正文计划中难度 1/5

章节大纲

  1. 01

    命题逻辑与量词要解决的核心问题与适用边界

  2. 02

    命题逻辑与量词的基本对象、符号和严格定义

  3. 03

    从「集合与映射」推导「命题逻辑与量词」所需的关键步骤

  4. 04

    命题逻辑与量词的典型计算、反例与常见误区

知识关系

motivatesproof-strategies