?互斥律
□ (4) 互斥律(exclusion rule):Link(A,i,B,j)??(?x?y(Link(A,x,B,y)∧(x≠i∨y≠j))). 证明:反证法.
互斥现象则 ; 物化 互斥规则
互斥律推论
非法证据排除规则
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。