Copilot
Your everyday AI companion
About 3,040,000 results
  1. 形式语言的重要特性之一在于，其句法不需要指涉解释即可定义。 例如， (P 或 Q) 是一个合式公式，即使不知道真值是真是假。 为了区分形式语言中的符号字串和随意符号字串之间的不同，前者有时被称为合式公式。

    解释 (逻辑) - 维基百科，自由的百科全书

    zh.wikipedia.org/zh-hans/%E8%A7%A3%E9%87%8B_(%E9%82%8F%E8%BC%AF)
    zh.wikipedia.org/zh-hans/%E8%A7%A3%E9%87%8B_(%E9%82%8F%E8%BC…
    Was this helpful?
  2. People also ask
    形式逻辑是什么?
    就形式逻辑来说，它并不具体研究这些问题，而主要是通 过介绍概念的基本逻辑特性和明确概念的最基本的逻辑方法、为做到概念明确提供一些必要 的条件。 第二节 概念的内涵和外延 一、概念的内涵和外延

    《形式逻辑》概念篇 - 知乎

    zhuanlan.zhihu.com
    什么是逻辑?
    逻辑是什么？ 逻辑是用形式语言来模仿人类推理过程的。 逻辑把linguistic objects，比如句子、名词什么的，当作mathemtical objects来进行分析和运算。 举个最简单的例子，小笛 (d)爱小明 (m)。 如果把爱用L表示，小笛爱小明就是“L d m”。 而L 可以被看作是数学的一种relation。 小笛爱小明，就是the ordered set <d, m> belongs to the set of L. 不同的逻辑可以模仿人类推理过程。 比如propositional logic只能在句子方面进行推理，比如“Q V ~ Q”，可以表示“要么天下雨，要么天没有下雨”。 predicate logic则更接近一步，比如“小笛去过火星 -- 最少有一个人去过火星”。

    符号逻辑学（Symbolic Logic）有什么用途？读这门学科会

    zhihu.com
    形式逻辑是关于直言推理的科学吗?
    如：在“形式逻辑是关于直言推理的科学”这个定义中，“关于直言推理的科学”这个定义项的外延，比“形式逻辑”这个被定义项的外延少，因为形式逻辑除了研究直言推理外，还研究概念、命题及另一些推理。 这种错误，逻辑上称之为“定义过窄”。 反之，如果把形式逻辑定义为“关于正确思维的科学”，这也不正确。 因 为“关于正确思维的科学”这个定义项的外延比“形式逻辑”这个被定义项的外延多，“关于正确思维的科学”除了形式逻辑外，还有辩证逻辑等等。

    《形式逻辑》概念篇 - 知乎

    zhuanlan.zhihu.com
    语言哲学和逻辑学有何关系?
    不过现代哲学有一个“linguistic turn“很重要，而本科哲学生（最少英美）通常都需要上一门逻辑学的入门课。 语言哲学和逻辑学关系紧密。 语言哲学可以探讨语言、心灵和世界的关系，探讨形式语言是怎么代表真实世界的。 比如frege的sense and reference是个有趣的例子。

    符号逻辑学（Symbolic Logic）有什么用途？读这门学科会

    zhihu.com
    Feedback
  3. 知乎专栏
    https://zhuanlan.zhihu.com/p/83034852

    10分钟搞定形式逻辑（箭头篇） - 知乎 - 知乎专栏

      See results only from zhuanlan.zhihu.com
    • 知乎专栏
      https://zhuanlan.zhihu.com/p/673961225

      《形式逻辑》概念篇 - 知乎 - 知乎专栏

    • 知乎
      https://www.zhihu.com/question/20929237?utm_division=hot_list_page

      什么是形式逻辑和辩证逻辑，如何用最简单的例子解释下？ - 知乎

    • 维基百科
      https://zh.wikipedia.org/zh-hans/逻辑

      逻辑 - 维基百科，自由的百科全书 - zh.wikipedia.org

    • 知乎
      https://www.zhihu.com/topic/19669474/top-answers

      形式语言 - 知乎

    • 知乎
      https://www.zhihu.com/question/48445754

      符号逻辑学（Symbolic Logic）有什么用途？读这门学科会得到什 …

    • CSDN博客
      https://blog.csdn.net/yjn03151111/article/details/44746513

      自然语言理解（三）—— 逻辑形式语言 - CSDN博客

    • 维基百科
      https://zh.wikipedia.org/wiki/逻辑语

      逻辑语 - 维基百科，自由的百科全书

    • 中国大学MOOC(慕课)
      https://www.icourse163.org/spoc/learn/SXU...

      形式逻辑_山西大学 - 中国大学MOOC(慕课)

    • 百家号
      https://baijiahao.baidu.com/s?id=1799626379282279972

      什么是形式逻辑？以及应用于哲学、数学和科学的内容，功能

    • People also search for

      Related searches for 逻辑形式语言的例子