命题

abduction

外展

因此,经典基础主义的主张是:(CF)一个人S合理地接受命题p(或S接受p是业经核证的),当且仅当p或者是一个基本的命题,或者能从基本命题集合里,用演绎、归纳、外展(abduction)等方法推论出来.

Antinomy

二律背反

康德将其这种互相否定的命题称为"二律背反"(antinomy),并给出了四类二律背反,把正命题(如"空间是有限的")称为"正题"(thesis),反命题(如"空间是无限的")称为"反题"(antithesis).

antithesis

反题

康德将其这种互相否定的命题称为"二律背反"(antinomy),并给出了四类二律背反,把正命题(如"空间是有限的")称为"正题"(thesis),反命题(如"空间是无限的")称为"反题"(antithesis).

claim

声称

命题在日用语中是简单的直陈句(declarative sentence),但是一个命题正如前所说一定包括了一个肯定的语气,所以有人也称之为"声称"(claim). 就说话者而言,除了命题的内容外,它还包含了他的"信念"(belief),亦即相信所言为"实".

Converse

逆命题

证完后科林斯老师又要求大家将这个命题的逆命题 (Converse),反命题 (Inverse) 以及逆反命题 (Contrapositive),并且引述了很简单的形式逻辑. 总之,就我看来,课程的内容很简单,但是科林斯老师牵涉得很杂,

counter example

反例

认真的态度 要说明一个命题是假命题,通常可以举出一个例子,使之具备命题的条件,而不具备命题的结论,这种例子称为反例(counter example). 1.下列命题的条件是什么?结论是什么? (2)如果a>b,b>c,那么a=c; (1)如果两个角相等,那么它们是对顶角;

deduce

推论

定理是Theorem,是要根据基本的公理来推论(Deduce)的公理是Axiom,它不需要证明,是人们的共识,是常识(Common Sense). 公理就是在一个理论系统中被默认为真的命题,而定理是根据公理或其他的真命题(定理)推导出来的真命题.

subject matter

主题

按维特根斯坦的理论认为:在逻辑中表达的思想就是命题,这样,我们就从抽象地谈论逻辑图像进入了思想的表达领域,即命题与语言,我的创作也就是从逻辑图像进入主题(subject matter)思想的表达领域,即命题与绘画语境(painting context).

predicate calculus

谓词演算

与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...

equiangular triangle?proposition

正三角形,等角三角形命题

正三角形,等角三角形 equiangular triangle | 正三角形,等角三角形命题 equiangular triangle?proposition? | 正多边形 equilateral polygon

Megalosaurus" chubutensis：巨齿龙错误种春秋中文社区

| "Megalosaurus" andrewsi巨齿龙错误种 | | "Megalosaurus" chubutensis巨齿龙错误种春秋中文社区http://bbs.cqzg.cn | | "Megalosaurus" insignis巨齿龙错误种

they were unimpressed, so I had to impress myself on them：他们不会有什么特别的印象 所以,我就必须加深他们对我的印象

I was born without those qualities. When peo... | ...they were unimpressed, so I had to impress myself on them.|他们不会有什么特别的印象 所以,我就必须加深他们对我的印象 | I admire you, Cassidy, and I w...