逻辑术语汉英对照表

逻辑术语汉英对照表

中文

概念

内涵

外延

反变关系

单独概念

普遍概念

空概念

集合概念

非集合概念

正概念

负概念

全同关系

真包含于关系

真包含关系

交叉关系

全异关系

矛盾关系（概念间的）

反对关系（概念间的）

concept

intension

extension

英文

counter-alter ralation

unique concept

universal concept

empt concept

collective concept

non-collective concept

positive concept

negative concept

identical ralation

truly included realton

true inclusion

insersecting relation

disparate relation

contradictory concept

contrary concept

欧拉图示

限制

概括

定义

属加种差

集合

元素

有限集

无限集

交换律

结合律

分配律

德·摩根律

命题

直言命题

主词

谓词

系词

量词

周延性

对当关系

Euler diagrams

restriction

generalization

definition

gens and difference

set

element

finite set

infinite set

commutatove law

associative law

distributive law

De Morgan's laws

proposition

ccategorical proposition

subject

predicate

copulative

quantifier

distribution

opposition

矛盾关系（命题间的）

反对关系（命题间的）

下反对关系

差等关系

逻辑方阵

文恩图

关系命题

对称关系

反对称关系

非反对称关系

传递关系

反传递关系

非传递关系

联言命题

选言命题

假言命题

负命题

真值

真值表

模态命题

规范命题

contradictory proposition

contrariety

sub-contrariety

hyponymy

logical square

Venn diagrams

relational proposition

symmentrical relation

amti-symmetric relation

non-symmetric relation

reamsitive relation

anti-transitive relation

non-transitive relation

associatove proposition

disjuncitve proposition

hypothetical proposition

negative proposition

truth value

truth value table

modal proposition

mormative proposition

同一律

矛盾律

排中律

悖论

推理

演绎推理

归纳推理

换质法

换位法

三段论

三段论的格

三段论的式

关系推理

联言推理

选言推理

假言推理

负命题等值推理

假言选言推理

假言联言推理

反三段论

law of identity

law of contradiction

law of excluded middle

paradox

inference

deductive inference

inductive inference

contraposition

coversion

syllogism

syllogistic figures

syllogistic mood

relational inference

associative inference

disjunctive inference

hypothetical inference

equivalence inference of negative

proposition

inference of hypothesis and disjunction

inference of hypothesis and association

anti-syllogism

归谬推理

反证推理

归谬赋值法

命题自然推理

谓词自然推理

模态推理

规范推理

回溯推理

科学假说

认证

言语交际

inference of reduction to absurdity

inference of reduction to absurdity

value assigned by reduction to absurdity

nature inference of proposition

nature inference of predicate

modal inference

normative inference

reversal inference

scientific hypothesis

demonstration

verbal communication

逻辑符号一览表

符号

＝

≠

中文名称

等于

不等于

equal to

unequal to

英文名称

I

∈

￠

∪

∩

SAP

SEP

SIP

SOP

Sap

Sep

R

∧

∨

空集

全集

属于

不属于

包含于

包含

真包含于

真包含

并

交

补

全称肯定命题

全称否定命题

特称肯定命题

特称否定命题

单称肯定命题

单称否定命题

关系

R的逆关系

合取

相容析取

null set

compelte set

belong to

not belong to

include

truly included

true include

true include

union

intersection

complement

universal affirmative proposition

universal negative proposition

subalterm positive proposition

subalterm negative proposition

singular affirmative proposition

singular negative proposition

ralation

inverse correlation of R

conjunction

compatile disjunction

→

←

←→

￣

T

F

◇

□

O

P

F

M

+

Fa

不相容析取

蕴涵

反蕴涵

互蕴涵

incompatible disjuncton

implication

counter-inplication

mutual implication

非（对命题的否定） negation of propositon

非（对项的否定）

真

假

可能

必然

必须

允许

禁止

中项

存在

特定个体a有F的性质

不确定个体x有F的性质

两特定个体a、b的R关系

两不确定个体x、y有R关系

negation of terms

truth

false

possibillity

necessary

obligatory

permission

forbidden

middle term

existence

quality of F in specific individual a

Fx quality of F in undefined individual x

ralation of R in two specific individuals

a and b

ralation of R in two undefined

individauals x and y

R(a,b)

R(x,y)

...

...

x

x

全称量词

特称量词

对任一x

存在x

universal quantifier

specific quantifier

to any x

existence x