{
  "handle": "Deduction",
  "mechanism": "Moving from general rules ({{axiom}}) to specific conclusions. If premises are true, the conclusion MUST be true. (All men are mortal -> Socrates is a man -> Socrates is mortal).",
  "gloss": "General to specific logic",
  "invariants": [
    "Truth Preservation: If premises are true, conclusion MUST be true.",
    "Validity: The argument structure follows formal logic rules."
  ],
  "preconditions": [
    "Premises are accepted as true"
  ],
  "postconditions": [
    "Conclusion is logically necessary"
  ],
  "_meta": {
    "ring": 1,
    "tier": 1,
    "path": [
      "Mind",
      "Reasoning"
    ]
  },
  "sema_id": "sema:Deduction#mh:SHA-256:b9a034741d2b404c84277fed48ce23edb262b9a9f3166ae27fdb431d006dd6ec",
  "sema_ref": "Deduction#b9a0",
  "sema_stub": "b9a0",
  "dependencies": {
    "references": {
      "axiom": "sema:Axiom#mh:SHA-256:8b1ca0bfefdb4954778b4074a3164934cb3a7e01be32aeb488b284dd81e5879c"
    }
  },
  "sema_layer": "Mind",
  "sema_category": "Reasoning",
  "used_by": {
    "references": {
      "Abduction": "sema:Abduction#mh:SHA-256:e738d3035534bba0a6b165325ba64818abb897a0f6b9848bc00c7c17ca146921",
      "BackwardChain": "sema:BackwardChain#mh:SHA-256:92c0e4700ff6bc202bd16dc4c77fd0b826605462cdc30d8b4230c36f61df0bb3",
      "Eliminate": "sema:Eliminate#mh:SHA-256:07d38b131eefdbe2cd46a074bfc7dd73da0b5474f4709c7e80f678d2ffa92be9",
      "Specialize": "sema:Specialize#mh:SHA-256:799d587f9e409c7f9fbf13f5dc83a2437068df8a0738f9bcfb910ee00c0c20a1"
    }
  }
}