逻辑术语汉英对照表

逻辑术语汉英对照表

逻辑符号一览表

空集null set

I 全集compelte 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 关系ralation

R的逆关系inverse correlation of R

∧合取conjunction

∨相容析取compatile disjunction

不相容析取incompatible disjuncton →蕴涵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关系

ralation of R in two specific individuals

a and b

R(x,y) 两不确定个体x、y

有R关系

ralation of R in two undefined

individauals x and y

... 全称量词universal quantifier ... 特称量词specific quantifier x 对任一x to any x

x 存在x existence x