rule of inference (Q1257)

From Azupedia
Jump to navigation Jump to search
systematic logical process capable of deriving a conclusion from hypotheses
  • inference rule
  • transformation rule
  • consecution
  • rule of deduction
Language Label Description Also known as
English
rule of inference
systematic logical process capable of deriving a conclusion from hypotheses
  • inference rule
  • transformation rule
  • consecution
  • rule of deduction

Statements

0 references