Simple Browser
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
DeductiveArgument
Sigma KEE - DeductiveArgument
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
演绎论证
这是一种推论的
Argument
，即是它声称这组
premise
entails
它的
conclusion
。
Relationships
Parents
争论
Any proposition which has the form of a deductive or inductive argument, i.e. a set of premises which, it is claimed, imply a conclusion.
Children
说明
An
Argument
where the conclusion is an observed fact and the premises are other facts which collectively imply the conclusion. Note that this is the hypothetico-deductive model of explanation.
无效的演绎论证
DeductiveArgument
s that are not
ValidDeductiveArgument
s, i.e. it is not the case that the set of
premise
s in fact
entails
the
conclusion
.
有效的演绎论证
A
DeductiveArgument
which is valid, i.e. the set of
premise
s in fact
entails
the
conclusion
.
Show full definition (without tree view)
Show full definition (with tree view)
Show without tree
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners