Deductive Logic Operation

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):
  • Inductive Logic Operation.
  • Abductive Logic Operation.
• See: Deductive Reasoning, Generalization Operation.

---

---

---