We will send it to your email.
Of logic and inference.
(logic) an inference that follows directly from the proof of another proposition.
This concept's ID is @1~31425