逻辑术语汉英对照表

逻辑术语汉英对照表
作者：日期:
逻辑术语汉英对照表
Eule r di ag r a ms
restrict i on
g e nerali z ation
d ef i n it ion
gens a nd di ff e rence
s et
e lement
finite s et
i n f inite s et
c o m mut a t o ve law
as s oci a tive 1 aw
d istrib ut i v
e 1 aw
De Morga n's laws
p ropositi o n
cc a tego r ical p ropo s ition subject
predi ca te
cop u 1 ative
quan t ifi e r
di s trib u tion
op p os i t i on
矛盾关系（命题间的）contradicto r y pro po s ition 反对关系（命题间的）co ntr a rie t y
下反对关系su b-contrariety
hyp onymy
逻辑方阵 1 ogical s q ua r e
文恩图Venn d i agra m s
关系命题relati onal pr o pos it io n
对称关系s y mmentr i c a 1 rel a t i on
反对称关系a m ti-sy mm etric re 1 ati on
非反对称关系n o n- s ymm etr ic r e 1 a tio n
传递关系r ea ms itive r e lat io n
反传递关系anti —tran s iti v e re l a ti o n
非传递关系n o n -tr a n s it i v e re lati o n
a s s o ciato ve pro po s iti on
联言命题
di sjun citv e pro po siti o n
hy p ot het ical propositi on
n egat i ve pro po si t io n
t ru th va 1 ue
truth v a l u e t a ble
modal pr opositi on
m o r mati ve p r oposi t ion
la w o f identity
1 aw o f contr a diet ion
r e 1 at i onal infer e nee
disjunctive i n f er e nc e
h y pothe t i c al infer e nee
e q uivale n ce infer e n c e
of neg at i ve pr o posit i on
i n ference of h ypothe s is
and di sju nction
i nf er e n ce o f h yp othesis an d ass o ciatio n
排中律law o f e xcl u ded middle
deductive i n f er en ce
indu ct ive i n f erence
co n tra p ositi o n
换位法
三段论的式
c oversi o n
syl 1 ogis tic moo d
同一律
矛盾律
假言选言推理
假言联言推理
负命题等值推理
associ a tive infer e nee
反三段论anti —s y II og ism
逻辑符号一览表
I U SAP un eq ua 1 to nul 1 set compel t e s et be 1 ong t o not be 1o ng t o i n clude t r ul y in c lude d t rue in c lude t r ue i n cl ude u n io n inte r section com plem en t un iv e rsal af fi r mat i ve p ropos i t i o n SEP 全称否定命题 universal neg a tiv e p r oposit i on SIP 特称肯定命题 subalterm posi t ive prop osit ion S O P 特称否定命题 s uba 1 t e rm n egative p rop os itio n sin g ular affirm a tive prop o siti o n S ep 单称否定命题
R 关系
R 的逆关系
Sap 单称肯定命题 ral at i o n sin gu lar neg a tive propo s iti o n inv e r s e c o rrelat i on o f R
co n j u nction
co m p a ti 1 e disj unction
in co mpatible d i s j u n c t on
im p li ca tion
c o u nter-inp 1 i c at i on
m u tu a l impl i cat i on
n ega ti on of pr o po sit on
n e gati o n of te r ms
trut h
f alse
possibilli t y
ne c ess a ry
ob 1 igato r y
pe r mission
forbidde
n
m iddl e term
e x istenc e
q uality of F
i n spe c ific in d ividu a l a
qua 1 ity of F i n und e fin e d in dividual x r a la t ion o f R i n t w o s pe c i fi c。