命题逻辑

assert

宣称

说一个人秉持某一个见解与立场,只表示这个人宣称(assert)某个命题. 逻辑上对於有效论证(valid argument)的定义是:一个论证是有效论证,若且唯若在逻辑上当这个论证的前提皆为真,这个论证的结论不会为假. 所以,

extension of the residue field

剩余域的扩张

extension of a field 域的扩张 | extension of the residue field 剩余域的扩张 | extension principle of propositional logic 命题逻辑的外延性原理

extension theorem

扩张定理

extension principle of propositional logic 命题逻辑的外延性原理 | extension theorem 扩张定理 | extensionality 外延

formula of computation

计算公式

formula language 公式语言 | formula of computation 计算公式 | formula of propositional logic 命题逻辑公式

formulate

公式化

formula of propositional logic 命题逻辑公式 | formulate 公式化 | formulation 用公式表示

subject matter

主题

按维特根斯坦的理论认为:在逻辑中表达的思想就是命题,这样,我们就从抽象地谈论逻辑图像进入了思想的表达领域,即命题与语言,我的创作也就是从逻辑图像进入主题(subject matter)思想的表达领域,即命题与绘画语境(painting context).

number system

数系

代数方面强调数系(number system)概念,用较严密的逻辑方法以证明数学上的定理. 前人依赖欧几里德几何来训练逻辑思维,在新数学课程里,主要是削减欧氏几何的非基本命题或非基本而繁复的命题而致力于更有趣的项目. 课程中加入集合论的概念逻辑,

Snyder

斯奈德

(2)例如:米尔斯海默从逻辑和历史证据角度驳斥,莱恩(Layne)从逻辑进而以事例分析法指出这种命题的错误性,斯佩罗(Spiro)则指出这个命题在概念界定和统计法上存在问题, 而曼斯菲尔德(Mansfield)、斯奈德(Snyder)、王逸舟在批评同时,

exceptive proposition

除外命题

充分条件 sufficient condition | 除外命题 exceptive proposition | 纯逻辑 pure logic

venn diagram

范氏图

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

Megalosaurus" chubutensis：巨齿龙错误种春秋中文社区

| "Megalosaurus" andrewsi巨齿龙错误种 | | "Megalosaurus" chubutensis巨齿龙错误种春秋中文社区http://bbs.cqzg.cn | | "Megalosaurus" insignis巨齿龙错误种

they were unimpressed, so I had to impress myself on them：他们不会有什么特别的印象 所以,我就必须加深他们对我的印象

I was born without those qualities. When peo... | ...they were unimpressed, so I had to impress myself on them.|他们不会有什么特别的印象 所以,我就必须加深他们对我的印象 | I admire you, Cassidy, and I w...