rule of inference (Q1257): Difference between revisions
Jump to navigation
Jump to search
Created a new Item: rule of inference, systematic logical process capable of deriving a conclusion from hypotheses |
Created claim: subclass of (P1): logical form (Q1258) |
||
| Property / subclass of | |||
| Property / subclass of: logical form / rank | |||
Normal rank | |||
Latest revision as of 17:17, 29 January 2023
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 |
|