逻辑符号

OR

Boolean Search

Boolean operator | 布尔算子, 逻辑算子 | Boolean Search | 逻辑搜索, 一种用逻辑符号如AND,OR,NOT提取信息的方法 | Boolean secondary | 布尔二次式

predicate symbol

谓词符号

PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号(predicate symbol)的一种顺序,I是指某一个特定的解释. 但是在目前所见的许多文献中对PI推理的定义还有一些不妥之处,没有确保其中的每一步归结都是PI归结. 本文给出了一种新的PI推理的定义,

subsumption logic

包含逻辑

"被包含子句","subsumed clause" | "包含逻辑","subsumption logic" | "子符号表示法","subsymbolic representation"

symbolic logic

符号逻辑

1881年英国数学家范恩(John Venn, 1834-1923)出版的>(Symbolic Logic)书中,改良了尤拉的原始想法,创造出知名的范氏图(Venn diagram). 范氏图的方法是处理牵涉到命题变数的逻辑论证. 各个命题变数分别以互相重叠的圆来表示,

symbolic logic

数理逻辑

symbol 符号 | symbolic logic 数理逻辑 | symbolic 象征的

Symbolic logic semant

二值逻辑语义

建模方法:Modeling Method Symbolic Computation | 二值逻辑语义:Symbolic logic semant | 符号值传播:symbolic value propagation

symbolic method

符号法

symbolic logic 符号逻辑 | symbolic method 符号法 | symbolic name 符号名

symbolism

符号系统

维特根斯坦是从符号系统(Symbolism)的原则和语言中的词与物所必需的关系角度出发,来思考思维与语言或事实与逻辑之关系构成的. 如果拓展来看,语言之说何以能够分有世界?而"说"之于世界和事物而言究竟意味着什么?"1.1.世界是事实的总和,

variable threshold logic

可变阈值逻辑

variable symbol 变量符号 | variable threshold logic 可变阈值逻辑 | variable type 变量类型

Frege's Critique of Traditional Logic

弗雷格对传统逻辑的批判

1. Functions and Concepts 函数和概念 | 2. Frege's Critique of Traditional Logic 弗雷格对传统逻辑的批判 | 3. The Quantifier-Variables Notation 量词-变量符号

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul