​逻辑学专业词汇（汉英对照表），附一本双语逻辑经典

逻辑学专业词汇（汉英对照表）

中文	英文
概念	concept
内涵	intension
外延	extension
反变关系	counter-alter relation
单独概念	unique concept
普遍概念	universal concept
空概念	empt concept
集合概念	collective concept
非集合概念	non-collective concept
正概念	positive concept
负概念	negative concept
全同关系	identical relation
真包含于关系	truly included relation
真包含关系	true inclusion
交叉关系	insersecting relation
全异关系	disparate relation
矛盾关系（概念间的）	contradictory concept
反对关系（概念间的）	contrary concept
欧拉图示	Euler diagrams
限制	restriction
概括	generalization
定义	definition
属加种差	gens and difference
集合	set
元素	element
有限集	finite set
无限集	infinite set
交换律	commutative law
结合律	associative law
分配律	distributive law
德·摩根律	De Morgan's laws
命题	proposition
直言命题	categorical proposition
主词	subject
谓词	predicate
系词	copulative
量词	quantifier
周延性	distribution
对当关系	opposition
矛盾关系（命题间的）	contradictory proposition
反对关系（命题间的）	contrariety
下反对关系	sub-contrariety
差等关系	hyponymy
逻辑方阵	logical square
文恩图	Venn diagrams
关系命题	relational proposition
对称关系	symmentrical relation
反对称关系	anti-symmetric relation
非反对称关系	non-symmetric relation
传递关系	transitive relation
反传递关系	anti-transitive relation
非传递关系	non-transitive relation
联言命题	associative proposition
选言命题	disjuncitve proposition
假言命题	hypothetical proposition
负命题	negative proposition
真值	truth value
真值表	truth value table
模态命题	modal proposition
规范命题	normative 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
	空集	null set
I	全集	complete set
∈	属于	belong to
￠	不属于	not belong to
	包含于	include
	包含	truly included
	真包含于	true include
	真包含	true include
∪	并	union
∩	交	intersection
\	补	complement
SAP	全称肯定命题	universal affirmative proposition
SEP	全称否定命题	universal negative proposition
SIP	特称肯定命题	subalterm positive proposition
SOP	特称否定命题	subalterm negative proposition
Sap	单称肯定命题	singular affirmative proposition
Sep	单称否定命题	singular negative proposition
R	关系	relation
	R的逆关系	inverse correlation of R
∧	合取	conjunction
∨	相容析取	compatile disjunction
	不相容析取	imcompatible disjunction
→	蕴涵	implication
←	反蕴涵	counter-inplication
←→	互蕴涵	mutual implication
	非（对命题的否定）	negation of propositon
￣	非（对项的否定）	negation of terms
T	真	truth
F	假	false
◇	可能	possibillity
□	必然	necessary
O	必须	obligatory
P	允许	permission
F	禁止	forbidden
M	中项	middle term
	存在	existence
Fa	特定个体a有F的性质	quality of F in specific individual a
Fx	不确定个体x有F的性质	quality of F in undefined individual x
R(a,b)	两特定个体a、b的R关系	relation of R in two specific individuals a and b
R(x,y)	两不确定个体x、y有R关系	relation of R in two undefined individauals x and y
...	全称量词	universal quantifier
...	特称量词	specific quantifier
x	对任一x	to any x
x	存在x	existence x