One Forth

M00 · 第 1 章 · 课程规划页

命题、量词与逻辑联结词

本章研究命题、量词与逻辑联结词。内容依次处理命题、真值与联结词、量词、否定与等价变形、充分条件、必要条件与反例。

所在 Part
第一编 数学语言与集合
预计学习
40 分钟
建设状态
已规划，尚无正式正文

预备知识

本章没有登记站内章节先修，可按本册顺序进入。

计划实验

本章未登记独立交互实验；定义、公式和例题仍按下列提纲规划。

LEARNING OBJECTIVES

完成本章后应能

  1. 01准确说明命题、真值与联结词。
  2. 02完成量词、否定与等价变形所需的推导、证明或算法。
  3. 03使用计算、例题或反例检验充分条件、必要条件与反例。

PLANNED SECTIONS

计划章节结构

  1. 01

    命题、真值与联结词

    界定命题、真值与联结词，明确使用的条件、主要结论与可复核步骤。

  2. 02

    量词、否定与等价变形

    推导量词、否定与等价变形，明确使用的条件、主要结论与可复核步骤。

  3. 03

    充分条件、必要条件与反例

    检验充分条件、必要条件与反例，明确使用的条件、主要结论与可复核步骤。

计划定义

  1. 命题、真值与联结词：对象、记号与前提

    围绕命题、真值与联结词列出主要对象、符号、前提与定义边界。

计划公式

  1. 量词、否定与等价变形：关系、判据与可复核步骤

    把量词、否定与等价变形整理为可检查的关系、判据或算法步骤；涉及定量模型时写出公式，并说明符号、适用条件，以及需要时的单位或复杂度。

计划例题

  1. 充分条件、必要条件与反例：案例、反例与核验

    围绕充分条件、必要条件与反例给出明确输入、前提或数据，逐步分析并用反例、误差、守恒量或边界条件复核。

计划练习

  1. 命题、量词与逻辑联结词：定义、关系与边界综合练习

    联结命题、真值与联结词、量词、否定与等价变形与充分条件、必要条件与反例，分别检验定义辨析、主要步骤和适用边界。

本章概念落点

以下位置是术语、搜索和知识图谱引用本计划章节时使用的稳定链接。

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

关键词

命题、量词、逻辑联结词、第一编 数学语言与集合、数学语言、集合与证明