:: Well, I posted it here because I have read something on the Romanian language wiki, saying that simple logical-mathematical operations ( elementary arithmetics and immediate inferences ) are allowed and do not constitute original research.
12.
This complementary term " immortal " in the first premise using the immediate inference known as obversion ( that is, " No humans are immortal . " is equivalent to " All humans are mortal . " ).
13.
More generally it's also a simple argument form, this means that if the premise is true, then the conclusion is also true as any rule of inference should be, and an immediate inference, as it has a single proposition in its premises.
14.
All these various writers against heresies are known to have learned, directly or indirectly, from Irenaeus; and every statement of theirs about Colarbasus can be at once traced, through transcription or immediate inference, to something in the text of Irenaeus not far distant from the place where the name of Colarbasus occurs.
