电脑桌面
添加小米粒文库到电脑桌面
安装后可以在桌面快捷访问

离散数学电子教材1

离散数学电子教材1_第1页
1/48
离散数学电子教材1_第2页
2/48
离散数学电子教材1_第3页
3/48
1 第 1 章 命 题 逻 辑 逻 辑 是 研 究 人 的 思 维 的 科 学 , 包 括 辩 证 逻 辑 和 形 式 逻 辑 。 辩 证 逻 辑 是 研 究 反 映 客 观 世 界辩 证 发 展 过 程 的 人 类 思 维 的 形 态 的 。 形 式 逻 辑 是 研 究 思 维 的 形 式 结 构 和 规 律 的 科 学 , 它 撇 开具 体 的 、 个 别 的 思 维 内 容 , 从 形 式 结 构 方 面 研 究 概 念 、 判 断 和 推 理 及 其 正 确 联 系 的 规 律 。 数理 逻 辑 是 用 数 学 方 法 研 究 推 理 的 形 式 结 构 和 推 理 的 规 律 的 数 学 学 科 。所 谓 的 数 学 方 法 也 就 是用 一 套 有 严 格 定 义 的 符 号 , 即 建 立 一 套 形 式 语 言 来 研 究 。 因 此 数 理 逻 辑 也 称 为 符 号 逻 辑 。 数 理 逻 辑 的 基 础 部 分 是 命 题 逻 辑 和 谓 词 逻 辑 。 本 章 主 要 讲 述 命 题 逻 辑 , 谓 词 逻 辑 将 在 第2 章 进 行 讨 论 。 1 .1 命 题 及 其 表 示 1 .1 .1 命 题 的 基 本 概 念 数 理 逻 辑 研 究 的 中 心 问 题 是 推 理 ( Inference), 而 推 理 就 必 然 包 含 前 提 和 结 论 , 前 提 和结 论 都 是 表 达 判 断 的 陈 述 句 ,因 而 表 达 判 断 的 陈 述 句 就 成 为 推 理 的 基 本 要 素 。在 数 理 逻 辑 中 ,将 能 够 判 断 真 假的 陈 述 句 称 为 命 题 。 因 此 命 题 就 成 为 推 理 的 基 本 单位。 在 命 题 逻 辑 中 , 对命题 的 组成 部 分 不再进 一 步细分 。 定 义 1 .1 .1 能 够 判 断 真 假的 陈 述 句 称 为 命 题 ( Proposition)。 命 题 的 判 断 结 果称 为 命 题 的真 值, 常用 T(Tru e)( 或1)表 示 真 , F(False)( 或0)表 示 假。 真 值为 真 的 命 题 称 为 真 命 题 ,真 值为 假的 命 题 称 为 假命 题 。 从 上述 的 定 义 可知, 判 定 一 个 句 子是 否为 命 题 要 分 为 两步:一 是 判 定 是 否为 陈 述 句 , 二是...

1、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
3、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。

碎片内容

离散数学电子教材1

确认删除?
VIP
微信客服
  • 扫码咨询
会员Q群
  • 会员专属群点击这里加入QQ群
客服邮箱
回到顶部