逻辑符号是什么意思

百科释义

逻辑符号是逻辑学中用以表示逻辑形式和逻辑运算的各种人工语言符号。逻辑符号的主要特点和作用在于它能精确地、单义地解释其所表示的对象，从而可以用来精确、简明地表示各种逻辑公理、定理和逻辑运算过程。在数理逻辑中，不同体系所采用的逻辑符号常常是有所不同的，因此同一个逻辑概念常常可以有几个不同的逻辑符号。

汉语词典收录了近50万个词语，包含词语的解释、例句和翻译，词库仍在不断更新中。

词典数据主要来源于新华字典，以及通过机器学习从海量的互联网内容中挖掘出尚未被新华字典收录的流行词语，用于补充词库，方便大家查询。