Deductive Logic Operation
(Redirected from rules of inference)
Jump to navigation
Jump to search
A Deductive Logic Operation is a logic operation within a deductive logic system.
- AKA: Deduction Rule.
- Context:
- It can be a Boolean Logic Operation.
- It can be a Propositional Logic Operation.
- It can be a Predicate Logic Operation.
- …
- Example(s):
- a Rule of Inference.
- …
- Counter-Example(s):
- See: Deductive Reasoning, Generalization Operation.