Crossword clue: (logic) an inference that follows directly from the proof of another proposition
1 answer found in Letterora's clue database (Wikidata facts, Open Trivia DB, WordNet and Webster definitions — all licensed sources).
Possible answers
(logic) an inference that follows directly from the proof of another proposition