(logic) a preposition that is inferred following the proof of another one
a thing that is the direct or natural result of another