| 逻辑符号 logical symbol 逻辑学中用以表示逻辑形式和逻辑运算的各种人工语言符号。传统形式逻辑就已经采用某些逻辑符号来表示思维的逻辑形式。如用“所有S是P”表示全称肯定判断的逻辑形式，用“M—P，S—M，所以S—P”表示三段论的逻辑形式，等等。在现代形式逻辑即数理逻辑中，逻辑符号被更加广泛地使用。不仅变项，而且逻辑常项也用符号来表示。如用“∨”“∧”“→”“”“↔”等分别表示命题的析取、合取、蕴涵、否定、等值等等。逻辑符号的主要特点和作用在于它能精确地、单义地解释其所表示的对象(逻辑形式、逻辑联结词或逻辑运算等)，从而可以用来精确、简明地表示各种逻辑公理、定理和逻辑运算过程。在数理逻辑中，不同体系所采用的逻辑符号常常是有所不同的，因此同一个逻辑概念常常可以有几个不同的逻辑符号。如表示“否定”的逻辑符号除“”外，还有“～”“—”等。 |