证明是

free variable

自由变量

郑老师指出,只有自由变量(Free Variable)才可以置换(Subsititue). 上述证明中,x和y不是自由变量. 之后,郑老师独立做了一个解答,我编程序来测试(虽然郑老师认为应该用证明方式). 以下我尝试把郑老师的解答,加上我的理解去演译一个正确答案.

in support of

支持

你的实验结果可能符合(consistent with)或支持(in support of)你的假说,或可能证明你的假说是错误的,但你永远无法证明你的假说是绝对正确的、是绝对真理.

infer

推论

但从立法背景和有关文本解释看,这两个国际法律文件并没有转移证明责任和降低证明标准的要求,因此不使用"推定"(presume)而使用"推论"(infer)一词. 而且文本中规定做出推论的基础是客观的事实情况(objective factual circumstances),

legal

法定的

在加拿大证据法中,"说服负担"被视为法定的(legal)、最终的(ultimate)和首要的(primary)证明责任. 一般说来,有关说服负担的规则是由刑事实体法来规定的. 负责承担说服负担的一方需要提出证据证明某一事实、主张的成立或者不成立.

positivism

(实证论)

但这与实证论(Positivism)不同. 规律性只要有实践证明,并非要求每一过程的规律都要重复的证明. 他讲量子力学着重坚持实践的结果,而不必过分去猜测超实践的问题. 这就排除了爱因斯坦等人去寻找隐函数的问题. 量子力学本身是一个完全的系统,

presume

推定

但从立法背景和有关文本解释看,这两个国际法律文件并没有转移证明责任和降低证明标准的要求,因此不使用"推定"(presume)而使用"推论"(infer)一词. 而且文本中规定做出推论的基础是客观的事实情况(objective factual circumstances),

provocation

激怒

所以,有时经验就成为认定案件事实证明标准的内在标准,例如,普通法认为被告人是否因"激怒"(provocation)失去自控的证明有两个检验标准,一是所谓主观评测(su

psychical research

心灵研究

"心灵研究"(psychical research)提到试图用科学的方法来证明"超视力"的存在. 心理学的研究人员大量运用了统计学的显著性检验来证明,在受实验者完全随意猜测这种假设条件下,其结果是不可能的. 费歇尔在他这篇论文中,先是谴责某些作者完全错误地使用了显著性检验,

reconstruction

构拟

只是社会语言学的真时证明和历史语言学的历时证明不一样,历史语言学的文献比较所得的时间差度(time span)比较大,如果是历史语言学的构拟(reconstruction),时间差度可能更大,可以达到几千年,但因为社会语言学的历史尚浅,

testing

试验

康德认为知识没有经验是不能存在的,所以他认为知识应该透过试验(testing)去证明,在此,康德结合了理性主义(依赖人的理性分析)及经验主义(用科学方法证明事物).

antiquated law：兩- 過時的法例

anti-fraud 兩- 打擊欺詐 港- 打擊詐騙 台- 制止背信 | antiquated law 兩- 過時的法例 | anti-trust 兩- 反托拉斯;反壟斷 台- 反托拉斯;反獨佔;反壟斷

permutable：可排列

permutability 转置性 可置换性 换排性 | permutable 可排列 | permutate 重排列