证明是...

bounded universal quantifier

有界全称量词

不幸的是,在戴维斯找到的关联中用到了一个被称为有界全称量词(Bounded Universal Quantifier)的逻辑算符. 如果没有这个有界全称量词,他就可以证明所有的递归可枚举集都是丢番图集,大功也就告成了. 可是数学证明是差不得分毫的,因为有了这个有界全称量词,

burden of proof

证明责任

在英美法下,"证明责任"(Burden of proof)一语至今尚以主观的证明责任概念而被使用. 在美国证据法上,证明责任有两种含义,一是"证据提出责任或义务"(burden of going forward with evidence;duty of producing evidence;

derivation

导出

它的一个同义词是导出(derivation). 演绎是相对于系统的概念,说一个公式(或语句)是演绎的只是相对于一不定的公理和推理规则的具体系统而言的. 演绎概念是证明概念的概括. 一个证明是语句这样的有穷序列:它的每个语句或是公理或是根据推理规则由前面的语句得出的.

And we've obligingly offered medical proof

于是我们很乐意提供医学证明

She thinks he saved her life.|她认为他救了她的命 | And we've obligingly offered medical proof|于是我们很乐意提供医学证明 | that his delusions are true.|证明他的错觉是有科学根据的

predicate symbol

谓词符号

PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号(predicate symbol)的一种顺序,I是指某一个特定的解释. 但是在目前所见的许多文献中对PI推理的定义还有一些不妥之处,没有确保其中的每一步归结都是PI归结. 本文给出了一种新的PI推理的定义,

premature a.1

比预期时间早是 2.不成熟的,仓促的

testify vi.1.作证,证明 2.表明,说明 vt.作证,证明 | testimony n.1.证词 2.见证,证明 | premature a.1.比预期时间早是 2.不成熟的,仓促的

testimony n.1

证词 2.见证,证明

testify vi.1.作证,证明 2.表明,说明 vt.作证,证明 | testimony n.1.证词 2.见证,证明 | premature a.1.比预期时间早是 2.不成熟的,仓促的

Vindication

证明

"[11]这是一种典型的实用主义做法,它把问题的难度降低了,它是被证明(vindication)而不是确证(justification). 而对证明来说,人类已经形成了一套比较有效的办法,逻辑实证主义的工作就是这方面的典范,这里不再赘述. 但是,

Think about itas proving your theory

[就当作是证明你的理论吧]

Don't think about itas cheating. [不要把它看成是不忠] | Think about itas proving your theory. [就当作是证明你的理论吧] | See,I need you to convince me [瞧 我需要你来说服我]

Turns out that the only one who's phon... who's phony

结果证明唯一虚伪的是... 虚伪的是

- Are you feeling it? - You make me...|- 你感觉到了吗? ... | Turns out that the only one who's phon... who's phony|结果证明唯一虚伪的是... 虚伪的是... | Is, you know, fucking what's his name.|你知道他名...

Jaycee：房祖名

房祖名(Jaycee)投资六位数字代理薄荷糖,前晚於中环某酒吧举行庆祝派对,成龙大哥现身撑爱子场,引起一阵混乱,可惜成龙大哥一到场即急步进场,之后又走后门离去,整晚显得十分低调.

basement complex：基盘岩群;基盘杂岩

"基盘","basement" | "基盘岩群;基盘杂岩","basement complex" | "基盘岩石","basement rock"