逻辑符号是逻辑学中用以表示逻辑形式和逻辑运算的各种人工语言符号。逻辑符号的主要特点和作用在于它能精确地、单义地解释其所表示的对象,从而可以用来精确、简明地表示各种逻辑公理、定理和逻辑运算过程。在数理逻辑中,不同体系所采用的逻辑符号常常是有所不同的,因此同一个逻辑概念常常可以有几个不同的逻辑符号。
E Y A • • Logic symbol 6 1-3 Basic Logic Operations Logic symbol (逻辑符号): some standard distinctive shape symbol.
基于464个网页-相关网页
... SYMBOLOGY 符号 ; 象征学 ; 符号体系 ; 符号表示法 symbology symbology 逻辑符号 Symbology specifications 符号规范 ; 码规范 ...
基于5个网页-相关网页
符号逻辑(数理逻辑) symbolic logic
逻辑符号的杂志 JSL
符号逻辑 [数] symbolic logic ; denotic logic ; symbol logic ; symmetric logic
逻辑符号表 List of logic symbols ; Table of logic symbols
后设逻辑符号 meta-logical symbol
逻辑运算符号 logical operators ; Logic operations
逻辑功能图形符号 symbols for logic functions ; symbolsforlogicfunctions
流体逻辑元件图形符号 symbols for fluid logic devices
用简单的逻辑符号来代表复杂的电气电路和电子电路。
A representation of complicated electrical and electronic circuits by simple symbols called logic symbols.
乔治·布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。
George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.
使用逻辑符号来定义与厘清基础数学概念,例如集合、关系式、函数和整数。
Use logical notation to define and reason about fundamental mathematical concepts such as sets, relations, functions, and integers.
应用推荐