rule of inference (Q1068763)
systematic logical process capable of deriving a conclusion from hypotheses
Language:
other details
aliases inference rule
transformation rule
consecution
rule of deduction
description systematic logical process capable of deriving a conclusion from hypotheses

External Links