Related WordNet synsets for SUMO concept entails

More specialized WordNet synsets

reductio ad absurdum

a logical proof of a proposition by showing that its negation leads to a contradiction

mathematical proof

proof of a mathematical theorem

logical proof, demonstration

proof of a logical theorem

conclusion

the proposition that must follow from the major and minor premises of a syllogism

theorem

a proposition deducible from basic postulates

specious argument

an argument that appears good at first view but is really fallacious

vicious circle

an argument that assumes that which is to be proved

inferential

derived or capable of being derived by inference

therefore, hence, thence, thus

(used to introduce a logical conclusion) from that fact or reason or as a result; "therefore X must be true"; "the eggs were fresh and hence satisfactory"; "we were young and thence optimistic"; "it is late and thus we must go"; "the witness is biased and so cannot be trusted"

ergo

(used as a sentenced connector) therefore or consequently

consequently, accordingly

(sentence connectors) because of the reason given; "consequently, he didn't do it"; "continued to have severe headaches and accordingly returned to the doctor"

a fortiori, with greater reason, with more reason

for a still stronger, more certain reason; "if you are wrong then, a foritori, so am I"

ipso facto

by the fact itself; "ipso facto, her innocence was established"

consequently, therefore

as a consequence; "he had good reason to be grateful for the opportunities which they had made available to him and which consequently led to the good position he now held"