|
|
选言肢：disjunct
选言判断：disjunction
选言推理：disjunctive syllogism
不相容选言判断：proper disjunctive proposition
相容选言判断：improper disjunction
the member of the improper disjunctive are not mutually exclusive.
不相容选言推理：syllogism with improper disjunctive proposition
联言推理的分解式：conjunction elimination
联言推理的合成式：conjunction introduction
换位法：contraposition
等值判断：contrapositive
e.g. p->q is the same as ~q->~p. if i won the lottery, i'll buy a limousine. the proposition is equivalent to the statement "if i
don't buy a limousine, i didn't win the lottery."
对当关系：of logical opposition
变形：of eduction
换质：of obversion
obersion is an eduction in which the infered judgment, while retaining the origional subject, has for its predicate the contradictory of the original predicate. the original proposition is called the obverted, and the inferred proposition is called the obverse.
换位：of conversion |
|
IP卡
发表于 2004-7-21 18:48:55
提升卡
变色卡
显身卡
