{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreieo2ljj6w34pfubokdbgnirbianywbg2li4hme7q724zrqf2dehjq",
    "uri": "at://did:plc:6t55zewcvauifrt5ts3usclu/app.bsky.feed.post/3mewyts3z2wy2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreig3qvfhjp6wzva3wn2u4lsgrzno4uuxykyqpxnpy6g5hfnddexciy"
    },
    "mimeType": "image/png",
    "size": 8167
  },
  "path": "/questions/5124699/is-this-a-counterexample-to-the-theorem-that-every-admissible-rule-in-classical",
  "publishedAt": "2026-02-15T17:57:19.000Z",
  "site": "https://math.stackexchange.com",
  "title": "Is this a counterexample to the theorem that every admissible rule in classical propositional logic is derivable? – math.stackexchange.com",
  "updatedAt": "2026-02-15T18:47:32.000Z"
}