Является ли хлороводород HCl кислотой? Один и тот же случай по трём определениям: Аррениуса, Брёнстеда—Лоури и Льюиса.

Факты дела одни и те же: HCl растворяется в воде и даёт катионы водорода, отдаёт протон и не принимает электронную пару. По Аррениусу и по Брёнстеду он кислота, по Льюису — нет. Ответ меняется не из-за фактов, а из-за выбранного определения: слово «кислота» в учебнике имеет три значения, и модель требует назвать одно из них прежде, чем отвечать.

Это пояснение ассистента, а не результат расчёта. Проверяйте выводы по основаниям и источникам ниже.

Кратко

Выберите результат, чтобы перейти к основаниям

Прочтение АррениусаПроверка условияУстановленоВыполнение: РассчитаноЛогический вывод: Установлено Прочтение Брёнстеда—ЛоуриПроверка условияУстановленоВыполнение: РассчитаноЛогический вывод: Установлено Прочтение ЛьюисаПроверка условияОпровергнутоВыполнение: РассчитаноЛогический вывод: Опровергнуто

Сравнение расчётов

	Прочтение Аррениуса	Прочтение Брёнстеда—Лоури	Прочтение Льюиса
Результат	TRUE_ONLY	TRUE_ONLY	FALSE_ONLY
Право на дату	2026-09-06	2026-09-06	2026-09-06
Прочтение	ArrheniusReading	BronstedReading	LewisReading

Подробный разбор

Проверка условия

Прочтение Аррениуса

Юрисдикция правопорядок не объявлен; основная юрисдикция корпуса — Республика КазахстанПраво на дату 06.09.2026

Результат расчёта

Установлено

Исходные параметры

Что определяем

частица признаётся кислотой по выбранному прочтению

hcl

Исходные факты

химическая частица
s: hcl
Общий субъект фактов ниже
частица предъявлена делом как предмет вопроса
частица растворяется в воде
при растворении в воде частица даёт катион водорода
частица отдаёт протон другой частице
Не выполняется: частица принимает пару электронов и образует координационную связь

Пакет: Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина

Дополнительные сведения

selectedInterpretations: ArrheniusReading

Исходные данные · JSON

{
  "args": [
    "urn:case:chem:hcl"
  ],
  "facts": [
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "species_in_question"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "dissolves_in_water"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "yields_hydrogen_cation"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "donates_proton"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "negated": true,
      "package": "openstax-chemistry-acids",
      "predicate": "accepts_electron_pair"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-acid-base",
  "predicate": "is_acid",
  "selectedInterpretations": [
    "urn:chem:clir:acid-base#ArrheniusReading"
  ]
}

Почему такой результатПрименённые правила и условия

Путь вывода5 шагов

1
частица растворяется в воде
s: urn:case:chem:hcl
факт дела
2
при растворении в воде частица даёт катион водорода
s: urn:case:chem:hcl
факт дела
3
растворяющаяся в воде частица, дающая катионы водорода, — кислота Аррениуса
кислота по Аррениусу: в воде даёт катионы водорода: s: urn:case:chem:hcl
Идентификатор
urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation
правило
4
по прочтению Аррениуса кислота — кислота Аррениуса
частица признаётся кислотой по выбранному прочтению: s: urn:case:chem:hcl
Идентификатор
urn:chem:clir:acid-base#ArrheniusReading/AcidIsArrheniusAcid
правило
5
Вычисление запроса
запрос

проверено движком: 3 · факт дела: 2 · Полный граф: 12 узлов

Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.

Основание этого ответа

Правила из сохранённой цепочки доказательства ответа.

Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина

растворяющаяся в воде частица, дающая катионы водорода, — кислота Аррениуса
Идентификатор
urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation
по прочтению Аррениуса кислота — кислота Аррениуса
Идентификатор
urn:chem:clir:acid-base#ArrheniusReading/AcidIsArrheniusAcid

Другие правила расчёта3

Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.

Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина

определение Брёнстеда—Лоури общее: всякая кислота Аррениуса — кислота Брёнстеда
Идентификатор
urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid
отдающая протон частица — кислота Брёнстеда—Лоури
Идентификатор
urn:chem:clir:acid-base#BronstedAcidDonatesProton
предъявленная частица с опровергнутой акцепторностью пары — не кислота Льюиса
Идентификатор
urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance

Вывод по запросу

частица признаётся кислотой по выбранному прочтению
s: hcl

Другие выводы3

кислота по Аррениусу: в воде даёт катионы водорода
s: hcl
кислота по Брёнстеду—Лоури: донор протона
s: hcl
Исходные данные · JSON
JSONТолько чтение
```
"не lewis_acid(urn:case:chem:hcl)"
```

кислота по Аррениусу: в воде даёт катионы водорода
s
urn:case:chem:hcl

кислота по Брёнстеду—Лоури: донор протона
s
urn:case:chem:hcl

частица признаётся кислотой по выбранному прочтению
s
urn:case:chem:hcl

Скрыто выведенных фактов: 0. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.

Идентификаторы календаря и доказательства

Ссылка на доказательство: mcp

Исходное обоснование · JSON

{
  "derived": [
    "arrhenius_acid(urn:case:chem:hcl)",
    "bronsted_acid(urn:case:chem:hcl)",
    "is_acid(urn:case:chem:hcl)",
    "не lewis_acid(urn:case:chem:hcl)"
  ],
  "derivedOmitted": 0,
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid",
    "urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation",
    "urn:chem:clir:acid-base#ArrheniusReading/AcidIsArrheniusAcid",
    "urn:chem:clir:acid-base#BronstedAcidDonatesProton",
    "urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance"
  ]
}

ИсточникиТексты не сохранены

Тексты источников в этом снимке не сохранены.

Пакеты в снимке

Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина
OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина

Технические данныеПолный ответ, параметры и контрольные суммы

Статус расчёта: COMPUTED

Полный ответ движка

is_acid: TRUE_ONLY — установлено Выведено правом: arrhenius_acid(urn:case:chem:hcl); bronsted_acid(urn:case:chem:hcl); is_acid(urn:case:chem:hcl); не lewis_acid(urn:case:chem:hcl) Применены правила: ArrheniusAcidIsBronstedAcid, ArrheniusAcidYieldsHydrogenCation, ArrheniusReading/AcidIsArrheniusAcid, BronstedAcidDonatesProton, NotLewisAcidWithoutAcceptance Право (правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан): Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина (programHash sha256:ab5a9045fc28…) Вместе с актами: OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина

Полный машинный результат · JSON

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "установлено",
    "missingInputs": [],
    "truthStatus": "TRUE_ONLY"
  },
  "closedEditionRules": [],
  "derived": [
    "arrhenius_acid(urn:case:chem:hcl)",
    "bronsted_acid(urn:case:chem:hcl)",
    "is_acid(urn:case:chem:hcl)",
    "не lewis_acid(urn:case:chem:hcl)"
  ],
  "derivedOmitted": 0,
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 0,
        "fragments": [],
        "jurisdiction": null,
        "namespace": "urn:chem:clir:acid-base",
        "package": "chem-acid-base",
        "title": "Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина"
      },
      {
        "contributed": false,
        "fragmentCount": 23,
        "fragments": [],
        "jurisdiction": "none",
        "namespace": "urn:openstax:clir:chemistry-acids",
        "package": "openstax-chemistry-acids",
        "title": "OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"
      }
    ],
    "caseHash": "sha256:152d993b71c6e6ebdf4b5172d877f2d261b74f0bbe0e33670ac824dc12b9d32c",
    "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
    "jurisdiction": "правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан",
    "legalTime": "2026-09-06",
    "mode": "audit",
    "programHash": "sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b",
    "resultHash": "sha256:6dced39b59a77cf2f3663c7bdf680ba2e524a4c82abc37e560a873ec1f627cb0",
    "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid",
    "urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation",
    "urn:chem:clir:acid-base#ArrheniusReading/AcidIsArrheniusAcid",
    "urn:chem:clir:acid-base#BronstedAcidDonatesProton",
    "urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "s",
        "type": {
          "name": "urn:openstax:clir:chemistry-acids#Species"
        }
      }
    ],
    "predicate": "urn:chem:clir:acid-base#is_acid",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:openstax:clir:chemistry-acids#Species": {
        "kind": "entity",
        "labels": [
          {
            "language": "en",
            "status": "unofficial",
            "text": "chemical species"
          },
          {
            "language": "ru",
            "status": "unofficial",
            "text": "химическая частица"
          }
        ],
        "namespace": "urn:openstax:clir:chemistry-acids",
        "package": "openstax.chemistry_acids"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Исполнение · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:152d993b71c6e6ebdf4b5172d877f2d261b74f0bbe0e33670ac824dc12b9d32c\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[\"urn:chem:clir:acid-base#ArrheniusReading\"],\"jurisdictionProfile\":\"examples.profile/0.1.0\",\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:72341e51c5f40021fa3737ab43a73aabc4c627ea09770d0eccbeaf46662d97bb\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#species_in_question\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#dissolves_in_water\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#arrhenius_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#bronsted_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusAcidIsBronstedAcid:09cc31f36705305b571c3f507564d6b3a86b70feeda3a81605a76b4070df0c5b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#is_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusReading/AcidIsArrheniusAcid:a3f1952db0738f22c785d2d4dd7394c60d1a6f33db5a0a6d73d6146823440114\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusReading/AcidIsArrheniusAcid\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#donates_proton\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#bronsted_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:BronstedAcidDonatesProton:03517306d1e1b0aa06c69a585c22d079acebef088aa125b6861c41baee216e98\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:chem:clir:acid-base#BronstedAcidDonatesProton\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:openstax:clir:chemistry-acids#accepts_electron_pair\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:chem:clir:acid-base#lewis_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:NotLewisAcidWithoutAcceptance:04f50aa546881b6c1b6841f8b35baa24831a17fe9aba58335c67d653b1410ae9\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-5\"],\"rule\":\"urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"selected\":[\"urn:chem:clir:acid-base#ArrheniusReading\"]},\"evidence\":[],\"id\":\"urn:proof:interpretation-selection\",\"kind\":\"interpretation_selection\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#is_acid\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:ArrheniusReading/AcidIsArrheniusAcid:a3f1952db0738f22c785d2d4dd7394c60d1a6f33db5a0a6d73d6146823440114\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:d0f7d0ba977f62fadc8f4efc3c2a5f5d93142c1be2419ef8fcc1f42311a208df\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:6dced39b59a77cf2f3663c7bdf680ba2e524a4c82abc37e560a873ec1f627cb0\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:chem:clir:acid-base#is_acid\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}",
  "evaluationSha256": "sha256:ed23bdf49b59b988f24f8c99c96ff1ca5634f08238a365341ff69ff3c6e8d82e",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:openstax:clir:chemistry-acids#species_in_question"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:openstax:clir:chemistry-acids#dissolves_in_water"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-3",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:openstax:clir:chemistry-acids#yields_hydrogen_cation"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-4",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:openstax:clir:chemistry-acids#donates_proton"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-5",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "negative",
            "predicate": "urn:openstax:clir:chemistry-acids#accepts_electron_pair"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        }
      ],
      "context": {
        "decisionTime": "2026-09-06T12:00:00+05:00",
        "knowledgeTime": "2026-09-06T12:00:00+05:00",
        "legalTime": "2026-09-06",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": [
          "urn:chem:clir:acid-base#ArrheniusReading"
        ]
      }
    },
    "ir": {
      "irSha256": "sha256:0bc6312c57c770e83a78de44336311463524c27ff13a5352d1b13c083298f3a8",
      "kind": "world_ref",
      "nodeCount": 89,
      "packages": [
        {
          "artifactHash": "sha256:3ab9d430f7ef46646dbab770ac088299c9d2f5694bb819bc6202f53f5578f3b3",
          "namespace": "urn:chem:clir:acid-base",
          "package": "chem-acid-base",
          "semanticHash": "sha256:f1a9bd47d51ba8beffa928b856969df9d1d27f3e596a141fa0b8746294bcd1d7"
        },
        {
          "artifactHash": "sha256:7e32b669f218a77d04ad65e10e3637e1f7f6e14119fc6f89f2b24c31ffbc05e6",
          "namespace": "urn:openstax:clir:chemistry-acids",
          "package": "openstax-chemistry-acids",
          "semanticHash": "sha256:74688db904093c2ca7e3ede9264d25dc2ddb764673cf24be5a295e6232bafbb4"
        }
      ],
      "programHash": "sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b"
    },
    "query": {
      "kind": "truth",
      "literal": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:chem:clir:acid-base#is_acid"
      },
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.1.0"
  },
  "requestCanonicalSha256": "sha256:ca0b5b2aca0f08dd7fbbd3648d1812a835998091184deed8c78880aa85282988"
}

Метаданные отображения

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:ca0b5b2aca0f08dd7fbbd3648d1812a835998091184deed8c78880aa85282988"
  },
  "steps": [
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:openstax:clir:chemistry-acids#dissolves_in_water"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-2",
      "kind": "assertion",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:openstax:clir:chemistry-acids#yields_hydrogen_cation"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-3",
      "kind": "assertion",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:chem:clir:acid-base#arrhenius_acid"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:chem:clir:acid-base#arrhenius_acid"
      },
      "id": "urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37",
      "kind": "rule_application",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-2",
        "urn:proof:assert:urn:mcp:case#fact-3"
      ],
      "rule": "urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation",
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:case:chem:hcl",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ]
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:chem:clir:acid-base#is_acid"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:chem:clir:acid-base#is_acid"
      },
      "id": "urn:proof:apply:ArrheniusReading/AcidIsArrheniusAcid:a3f1952db0738f22c785d2d4dd7394c60d1a6f33db5a0a6d73d6146823440114",
      "kind": "rule_application",
      "premises": [
        "urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37"
      ],
      "rule": "urn:chem:clir:acid-base#ArrheniusReading/AcidIsArrheniusAcid",
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:case:chem:hcl",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ]
    },
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:case:chem:hcl",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:chem:clir:acid-base#is_acid"
        },
        "truthStatus": "TRUE_ONLY"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "premises": [
        "urn:proof:apply:ArrheniusReading/AcidIsArrheniusAcid:a3f1952db0738f22c785d2d4dd7394c60d1a6f33db5a0a6d73d6146823440114"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the Brønsted-Lowry description is more general: every Arrhenius acid is a Brønsted-Lowry acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "определение Брёнстеда—Лоури общее: всякая кислота Аррениуса — кислота Брёнстеда"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "a compound that dissolves in water to yield hydrogen cations is an Arrhenius acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "растворяющаяся в воде частица, дающая катионы водорода, — кислота Аррениуса"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#ArrheniusReading",
      "kind": "interpretation",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Arrhenius reading: an acid yields hydrogen cations in water"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "прочтение Аррениуса: кислота — то, что даёт в воде катионы водорода"
        }
      ],
      "package": "urn:chem:clir:acid-base"
    },
    {
      "id": "urn:chem:clir:acid-base#ArrheniusReading/AcidIsArrheniusAcid",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "under the Arrhenius reading, an acid is an Arrhenius acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "по прочтению Аррениуса кислота — кислота Аррениуса"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#BronstedAcidDonatesProton",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "a compound that donates a proton is a Brønsted-Lowry acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "отдающая протон частица — кислота Брёнстеда—Лоури"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "a presented species whose electron-pair acceptance is refuted is not a Lewis acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "предъявленная частица с опровергнутой акцепторностью пары — не кислота Льюиса"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#arrhenius_acid",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Arrhenius acid: yields hydrogen cations in water"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "кислота по Аррениусу: в воде даёт катионы водорода"
        }
      ],
      "name": "arrhenius_acid",
      "package": "urn:chem:clir:acid-base",
      "parameters": [
        {
          "id": "urn:chem:clir:acid-base#arrhenius_acid/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:chem:clir:acid-base#bronsted_acid",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Brønsted-Lowry acid: proton donor"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "кислота по Брёнстеду—Лоури: донор протона"
        }
      ],
      "name": "bronsted_acid",
      "package": "urn:chem:clir:acid-base",
      "parameters": [
        {
          "id": "urn:chem:clir:acid-base#bronsted_acid/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:chem:clir:acid-base#is_acid",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species is an acid under the selected reading"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица признаётся кислотой по выбранному прочтению"
        }
      ],
      "name": "is_acid",
      "package": "urn:chem:clir:acid-base",
      "parameters": [
        {
          "id": "urn:chem:clir:acid-base#is_acid/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:chem:clir:acid-base#lewis_acid",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Lewis acid: electron-pair acceptor"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "кислота по Льюису: акцептор электронной пары"
        }
      ],
      "name": "lewis_acid",
      "package": "urn:chem:clir:acid-base",
      "parameters": [
        {
          "id": "urn:chem:clir:acid-base#lewis_acid/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#Species",
      "kind": "type_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "chemical species"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "химическая частица"
        }
      ],
      "name": "Species",
      "package": "urn:openstax:clir:chemistry-acids"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#accepts_electron_pair",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species accepts an electron pair forming a coordinate covalent bond"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица принимает пару электронов и образует координационную связь"
        }
      ],
      "name": "accepts_electron_pair",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#accepts_electron_pair/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#dissolves_in_water",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species dissolves in water"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица растворяется в воде"
        }
      ],
      "name": "dissolves_in_water",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#dissolves_in_water/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#donates_proton",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species donates a proton to another compound"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица отдаёт протон другой частице"
        }
      ],
      "name": "donates_proton",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#donates_proton/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#species_in_question",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species is presented by the case as the subject of the question"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица предъявлена делом как предмет вопроса"
        }
      ],
      "name": "species_in_question",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#species_in_question/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#yields_hydrogen_cation",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "on dissolving in water the species yields hydrogen cations"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "при растворении в воде частица даёт катион водорода"
        }
      ],
      "name": "yields_hydrogen_cation",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#yields_hydrogen_cation/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · расчёты, источники и точные данные

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 0,
      "fragments": [],
      "jurisdiction": null,
      "namespace": "urn:chem:clir:acid-base",
      "package": "chem-acid-base",
      "title": "Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина"
    },
    {
      "contributed": false,
      "fragmentCount": 23,
      "fragments": [],
      "jurisdiction": "none",
      "namespace": "urn:openstax:clir:chemistry-acids",
      "package": "openstax-chemistry-acids",
      "title": "OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"
    }
  ],
  "caseHash": "sha256:152d993b71c6e6ebdf4b5172d877f2d261b74f0bbe0e33670ac824dc12b9d32c",
  "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
  "jurisdiction": "правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан",
  "legalTime": "2026-09-06",
  "mode": "audit",
  "programHash": "sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b",
  "resultHash": "sha256:6dced39b59a77cf2f3663c7bdf680ba2e524a4c82abc37e560a873ec1f627cb0",
  "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:ed23bdf49b59b988f24f8c99c96ff1ca5634f08238a365341ff69ff3c6e8d82e

Исходные данные · JSON

{
  "args": [
    "urn:case:chem:hcl"
  ],
  "facts": [
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "species_in_question"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "dissolves_in_water"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "yields_hydrogen_cation"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "donates_proton"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "negated": true,
      "package": "openstax-chemistry-acids",
      "predicate": "accepts_electron_pair"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-acid-base",
  "predicate": "is_acid",
  "selectedInterpretations": [
    "urn:chem:clir:acid-base#ArrheniusReading"
  ]
}

По Аррениусу кислота — то, что в водном растворе даёт катионы водорода. Дело это утверждает, и кислотность установлена.

Проверка условия

Прочтение Брёнстеда—Лоури

Результат расчёта

Установлено

Исходные параметры

Что определяем

частица признаётся кислотой по выбранному прочтению

hcl

Исходные факты

химическая частица
s: hcl
Общий субъект фактов ниже
частица предъявлена делом как предмет вопроса
частица растворяется в воде
при растворении в воде частица даёт катион водорода
частица отдаёт протон другой частице
Не выполняется: частица принимает пару электронов и образует координационную связь

Дополнительные сведения

selectedInterpretations: BronstedReading

Исходные данные · JSON

{
  "args": [
    "urn:case:chem:hcl"
  ],
  "facts": [
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "species_in_question"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "dissolves_in_water"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "yields_hydrogen_cation"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "donates_proton"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "negated": true,
      "package": "openstax-chemistry-acids",
      "predicate": "accepts_electron_pair"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-acid-base",
  "predicate": "is_acid",
  "selectedInterpretations": [
    "urn:chem:clir:acid-base#BronstedReading"
  ]
}

Почему такой результатПрименённые правила и условия

Путь вывода4 шагов

1
частица отдаёт протон другой частице
s: urn:case:chem:hcl
факт дела
2
отдающая протон частица — кислота Брёнстеда—Лоури
кислота по Брёнстеду—Лоури: донор протона: s: urn:case:chem:hcl
Идентификатор
urn:chem:clir:acid-base#BronstedAcidDonatesProton
правило
3
по прочтению Брёнстеда кислота — кислота Брёнстеда
частица признаётся кислотой по выбранному прочтению: s: urn:case:chem:hcl
Идентификатор
urn:chem:clir:acid-base#BronstedReading/AcidIsBronstedAcid
правило
4
Вычисление запроса
запрос

проверено движком: 3 · факт дела: 1 · Полный граф: 12 узлов

Основание этого ответа

Правила из сохранённой цепочки доказательства ответа.

Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина

отдающая протон частица — кислота Брёнстеда—Лоури
Идентификатор
urn:chem:clir:acid-base#BronstedAcidDonatesProton
по прочтению Брёнстеда кислота — кислота Брёнстеда
Идентификатор
urn:chem:clir:acid-base#BronstedReading/AcidIsBronstedAcid

Другие правила расчёта3

Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.

Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина

определение Брёнстеда—Лоури общее: всякая кислота Аррениуса — кислота Брёнстеда
Идентификатор
urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid
растворяющаяся в воде частица, дающая катионы водорода, — кислота Аррениуса
Идентификатор
urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation
предъявленная частица с опровергнутой акцепторностью пары — не кислота Льюиса
Идентификатор
urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance

Вывод по запросу

частица признаётся кислотой по выбранному прочтению
s: hcl

Другие выводы3

кислота по Аррениусу: в воде даёт катионы водорода
s: hcl
кислота по Брёнстеду—Лоури: донор протона
s: hcl
Исходные данные · JSON
JSONТолько чтение
```
"не lewis_acid(urn:case:chem:hcl)"
```

кислота по Аррениусу: в воде даёт катионы водорода
s
urn:case:chem:hcl

кислота по Брёнстеду—Лоури: донор протона
s
urn:case:chem:hcl

частица признаётся кислотой по выбранному прочтению
s
urn:case:chem:hcl

Идентификаторы календаря и доказательства

Ссылка на доказательство: mcp

Исходное обоснование · JSON

{
  "derived": [
    "arrhenius_acid(urn:case:chem:hcl)",
    "bronsted_acid(urn:case:chem:hcl)",
    "is_acid(urn:case:chem:hcl)",
    "не lewis_acid(urn:case:chem:hcl)"
  ],
  "derivedOmitted": 0,
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid",
    "urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation",
    "urn:chem:clir:acid-base#BronstedAcidDonatesProton",
    "urn:chem:clir:acid-base#BronstedReading/AcidIsBronstedAcid",
    "urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance"
  ]
}

ИсточникиТексты не сохранены

Тексты источников в этом снимке не сохранены.

Пакеты в снимке

Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина
OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина

Технические данныеПолный ответ, параметры и контрольные суммы

Статус расчёта: COMPUTED

Полный ответ движка

is_acid: TRUE_ONLY — установлено Выведено правом: arrhenius_acid(urn:case:chem:hcl); bronsted_acid(urn:case:chem:hcl); is_acid(urn:case:chem:hcl); не lewis_acid(urn:case:chem:hcl) Применены правила: ArrheniusAcidIsBronstedAcid, ArrheniusAcidYieldsHydrogenCation, BronstedAcidDonatesProton, BronstedReading/AcidIsBronstedAcid, NotLewisAcidWithoutAcceptance Право (правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан): Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина (programHash sha256:ab5a9045fc28…) Вместе с актами: OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина

Полный машинный результат · JSON

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "установлено",
    "missingInputs": [],
    "truthStatus": "TRUE_ONLY"
  },
  "closedEditionRules": [],
  "derived": [
    "arrhenius_acid(urn:case:chem:hcl)",
    "bronsted_acid(urn:case:chem:hcl)",
    "is_acid(urn:case:chem:hcl)",
    "не lewis_acid(urn:case:chem:hcl)"
  ],
  "derivedOmitted": 0,
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 0,
        "fragments": [],
        "jurisdiction": null,
        "namespace": "urn:chem:clir:acid-base",
        "package": "chem-acid-base",
        "title": "Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина"
      },
      {
        "contributed": false,
        "fragmentCount": 23,
        "fragments": [],
        "jurisdiction": "none",
        "namespace": "urn:openstax:clir:chemistry-acids",
        "package": "openstax-chemistry-acids",
        "title": "OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"
      }
    ],
    "caseHash": "sha256:2e507608678574912bfe7ddbe8225c3fb2dc0ec1ae5b60814c92defc79049914",
    "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
    "jurisdiction": "правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан",
    "legalTime": "2026-09-06",
    "mode": "audit",
    "programHash": "sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b",
    "resultHash": "sha256:b3e0301149ece52156cd7f4308f92402eea74138e01fb0fa1759c658f91b6eca",
    "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid",
    "urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation",
    "urn:chem:clir:acid-base#BronstedAcidDonatesProton",
    "urn:chem:clir:acid-base#BronstedReading/AcidIsBronstedAcid",
    "urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "s",
        "type": {
          "name": "urn:openstax:clir:chemistry-acids#Species"
        }
      }
    ],
    "predicate": "urn:chem:clir:acid-base#is_acid",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:openstax:clir:chemistry-acids#Species": {
        "kind": "entity",
        "labels": [
          {
            "language": "en",
            "status": "unofficial",
            "text": "chemical species"
          },
          {
            "language": "ru",
            "status": "unofficial",
            "text": "химическая частица"
          }
        ],
        "namespace": "urn:openstax:clir:chemistry-acids",
        "package": "openstax.chemistry_acids"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Исполнение · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:2e507608678574912bfe7ddbe8225c3fb2dc0ec1ae5b60814c92defc79049914\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[\"urn:chem:clir:acid-base#BronstedReading\"],\"jurisdictionProfile\":\"examples.profile/0.1.0\",\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:e0f5987f237c52ee0609531083f8451a939f47ebaccb543ed7bbd0e7983ce428\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#species_in_question\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#dissolves_in_water\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#arrhenius_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#bronsted_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusAcidIsBronstedAcid:09cc31f36705305b571c3f507564d6b3a86b70feeda3a81605a76b4070df0c5b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#donates_proton\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#bronsted_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:BronstedAcidDonatesProton:03517306d1e1b0aa06c69a585c22d079acebef088aa125b6861c41baee216e98\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:chem:clir:acid-base#BronstedAcidDonatesProton\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#is_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:BronstedReading/AcidIsBronstedAcid:c7aebc30aa55a5600e0c5896b62ef8ef836bbfa93c5eadca56c90fbab8930763\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:BronstedAcidDonatesProton:03517306d1e1b0aa06c69a585c22d079acebef088aa125b6861c41baee216e98\"],\"rule\":\"urn:chem:clir:acid-base#BronstedReading/AcidIsBronstedAcid\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:openstax:clir:chemistry-acids#accepts_electron_pair\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:chem:clir:acid-base#lewis_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:NotLewisAcidWithoutAcceptance:04f50aa546881b6c1b6841f8b35baa24831a17fe9aba58335c67d653b1410ae9\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-5\"],\"rule\":\"urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"selected\":[\"urn:chem:clir:acid-base#BronstedReading\"]},\"evidence\":[],\"id\":\"urn:proof:interpretation-selection\",\"kind\":\"interpretation_selection\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#is_acid\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:BronstedReading/AcidIsBronstedAcid:c7aebc30aa55a5600e0c5896b62ef8ef836bbfa93c5eadca56c90fbab8930763\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:dc61b699d5a4836c9bd21b1e75c4d4d9cdebfddcfe7400842304b0736a64a7b8\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:b3e0301149ece52156cd7f4308f92402eea74138e01fb0fa1759c658f91b6eca\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:chem:clir:acid-base#is_acid\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}",
  "evaluationSha256": "sha256:0a3c516ac3602cf7328244203d414bd5a5e288c11a0eca9035e7491d10259c2c",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:openstax:clir:chemistry-acids#species_in_question"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:openstax:clir:chemistry-acids#dissolves_in_water"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-3",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:openstax:clir:chemistry-acids#yields_hydrogen_cation"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-4",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:openstax:clir:chemistry-acids#donates_proton"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-5",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "negative",
            "predicate": "urn:openstax:clir:chemistry-acids#accepts_electron_pair"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        }
      ],
      "context": {
        "decisionTime": "2026-09-06T12:00:00+05:00",
        "knowledgeTime": "2026-09-06T12:00:00+05:00",
        "legalTime": "2026-09-06",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": [
          "urn:chem:clir:acid-base#BronstedReading"
        ]
      }
    },
    "ir": {
      "irSha256": "sha256:0bc6312c57c770e83a78de44336311463524c27ff13a5352d1b13c083298f3a8",
      "kind": "world_ref",
      "nodeCount": 89,
      "packages": [
        {
          "artifactHash": "sha256:3ab9d430f7ef46646dbab770ac088299c9d2f5694bb819bc6202f53f5578f3b3",
          "namespace": "urn:chem:clir:acid-base",
          "package": "chem-acid-base",
          "semanticHash": "sha256:f1a9bd47d51ba8beffa928b856969df9d1d27f3e596a141fa0b8746294bcd1d7"
        },
        {
          "artifactHash": "sha256:7e32b669f218a77d04ad65e10e3637e1f7f6e14119fc6f89f2b24c31ffbc05e6",
          "namespace": "urn:openstax:clir:chemistry-acids",
          "package": "openstax-chemistry-acids",
          "semanticHash": "sha256:74688db904093c2ca7e3ede9264d25dc2ddb764673cf24be5a295e6232bafbb4"
        }
      ],
      "programHash": "sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b"
    },
    "query": {
      "kind": "truth",
      "literal": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:chem:clir:acid-base#is_acid"
      },
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.1.0"
  },
  "requestCanonicalSha256": "sha256:35a5eb79507ff8544aec69f9268ffd9a79bbf7eaac6f2822520609c88e0de4e7"
}

Метаданные отображения

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:35a5eb79507ff8544aec69f9268ffd9a79bbf7eaac6f2822520609c88e0de4e7"
  },
  "steps": [
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:openstax:clir:chemistry-acids#donates_proton"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-4",
      "kind": "assertion",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:chem:clir:acid-base#bronsted_acid"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:chem:clir:acid-base#bronsted_acid"
      },
      "id": "urn:proof:apply:BronstedAcidDonatesProton:03517306d1e1b0aa06c69a585c22d079acebef088aa125b6861c41baee216e98",
      "kind": "rule_application",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-4"
      ],
      "rule": "urn:chem:clir:acid-base#BronstedAcidDonatesProton",
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:case:chem:hcl",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ]
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:chem:clir:acid-base#is_acid"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:chem:clir:acid-base#is_acid"
      },
      "id": "urn:proof:apply:BronstedReading/AcidIsBronstedAcid:c7aebc30aa55a5600e0c5896b62ef8ef836bbfa93c5eadca56c90fbab8930763",
      "kind": "rule_application",
      "premises": [
        "urn:proof:apply:BronstedAcidDonatesProton:03517306d1e1b0aa06c69a585c22d079acebef088aa125b6861c41baee216e98"
      ],
      "rule": "urn:chem:clir:acid-base#BronstedReading/AcidIsBronstedAcid",
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:case:chem:hcl",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ]
    },
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:case:chem:hcl",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:chem:clir:acid-base#is_acid"
        },
        "truthStatus": "TRUE_ONLY"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "premises": [
        "urn:proof:apply:BronstedReading/AcidIsBronstedAcid:c7aebc30aa55a5600e0c5896b62ef8ef836bbfa93c5eadca56c90fbab8930763"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the Brønsted-Lowry description is more general: every Arrhenius acid is a Brønsted-Lowry acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "определение Брёнстеда—Лоури общее: всякая кислота Аррениуса — кислота Брёнстеда"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "a compound that dissolves in water to yield hydrogen cations is an Arrhenius acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "растворяющаяся в воде частица, дающая катионы водорода, — кислота Аррениуса"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#BronstedAcidDonatesProton",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "a compound that donates a proton is a Brønsted-Lowry acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "отдающая протон частица — кислота Брёнстеда—Лоури"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#BronstedReading",
      "kind": "interpretation",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Brønsted-Lowry reading: an acid is a proton donor"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "прочтение Брёнстеда—Лоури: кислота — донор протона"
        }
      ],
      "package": "urn:chem:clir:acid-base"
    },
    {
      "id": "urn:chem:clir:acid-base#BronstedReading/AcidIsBronstedAcid",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "under the Brønsted-Lowry reading, an acid is a Brønsted-Lowry acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "по прочтению Брёнстеда кислота — кислота Брёнстеда"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "a presented species whose electron-pair acceptance is refuted is not a Lewis acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "предъявленная частица с опровергнутой акцепторностью пары — не кислота Льюиса"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#arrhenius_acid",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Arrhenius acid: yields hydrogen cations in water"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "кислота по Аррениусу: в воде даёт катионы водорода"
        }
      ],
      "name": "arrhenius_acid",
      "package": "urn:chem:clir:acid-base",
      "parameters": [
        {
          "id": "urn:chem:clir:acid-base#arrhenius_acid/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:chem:clir:acid-base#bronsted_acid",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Brønsted-Lowry acid: proton donor"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "кислота по Брёнстеду—Лоури: донор протона"
        }
      ],
      "name": "bronsted_acid",
      "package": "urn:chem:clir:acid-base",
      "parameters": [
        {
          "id": "urn:chem:clir:acid-base#bronsted_acid/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:chem:clir:acid-base#is_acid",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species is an acid under the selected reading"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица признаётся кислотой по выбранному прочтению"
        }
      ],
      "name": "is_acid",
      "package": "urn:chem:clir:acid-base",
      "parameters": [
        {
          "id": "urn:chem:clir:acid-base#is_acid/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:chem:clir:acid-base#lewis_acid",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Lewis acid: electron-pair acceptor"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "кислота по Льюису: акцептор электронной пары"
        }
      ],
      "name": "lewis_acid",
      "package": "urn:chem:clir:acid-base",
      "parameters": [
        {
          "id": "urn:chem:clir:acid-base#lewis_acid/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#Species",
      "kind": "type_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "chemical species"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "химическая частица"
        }
      ],
      "name": "Species",
      "package": "urn:openstax:clir:chemistry-acids"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#accepts_electron_pair",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species accepts an electron pair forming a coordinate covalent bond"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица принимает пару электронов и образует координационную связь"
        }
      ],
      "name": "accepts_electron_pair",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#accepts_electron_pair/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#dissolves_in_water",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species dissolves in water"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица растворяется в воде"
        }
      ],
      "name": "dissolves_in_water",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#dissolves_in_water/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#donates_proton",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species donates a proton to another compound"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица отдаёт протон другой частице"
        }
      ],
      "name": "donates_proton",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#donates_proton/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#species_in_question",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species is presented by the case as the subject of the question"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица предъявлена делом как предмет вопроса"
        }
      ],
      "name": "species_in_question",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#species_in_question/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#yields_hydrogen_cation",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "on dissolving in water the species yields hydrogen cations"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "при растворении в воде частица даёт катион водорода"
        }
      ],
      "name": "yields_hydrogen_cation",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#yields_hydrogen_cation/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · расчёты, источники и точные данные

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 0,
      "fragments": [],
      "jurisdiction": null,
      "namespace": "urn:chem:clir:acid-base",
      "package": "chem-acid-base",
      "title": "Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина"
    },
    {
      "contributed": false,
      "fragmentCount": 23,
      "fragments": [],
      "jurisdiction": "none",
      "namespace": "urn:openstax:clir:chemistry-acids",
      "package": "openstax-chemistry-acids",
      "title": "OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"
    }
  ],
  "caseHash": "sha256:2e507608678574912bfe7ddbe8225c3fb2dc0ec1ae5b60814c92defc79049914",
  "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
  "jurisdiction": "правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан",
  "legalTime": "2026-09-06",
  "mode": "audit",
  "programHash": "sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b",
  "resultHash": "sha256:b3e0301149ece52156cd7f4308f92402eea74138e01fb0fa1759c658f91b6eca",
  "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:0a3c516ac3602cf7328244203d414bd5a5e288c11a0eca9035e7491d10259c2c

Исходные данные · JSON

{
  "args": [
    "urn:case:chem:hcl"
  ],
  "facts": [
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "species_in_question"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "dissolves_in_water"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "yields_hydrogen_cation"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "donates_proton"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "negated": true,
      "package": "openstax-chemistry-acids",
      "predicate": "accepts_electron_pair"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-acid-base",
  "predicate": "is_acid",
  "selectedInterpretations": [
    "urn:chem:clir:acid-base#BronstedReading"
  ]
}

По Брёнстеду—Лоури кислота — донор протона. HCl отдаёт протон, и кислотность установлена.

Проверка условия

Прочтение Льюиса

Результат расчёта

Опровергнуто

Исходные параметры

Что определяем

частица признаётся кислотой по выбранному прочтению

hcl

Исходные факты

химическая частица
s: hcl
Общий субъект фактов ниже
частица предъявлена делом как предмет вопроса
частица растворяется в воде
при растворении в воде частица даёт катион водорода
частица отдаёт протон другой частице
Не выполняется: частица принимает пару электронов и образует координационную связь

Дополнительные сведения

selectedInterpretations: LewisReading

Исходные данные · JSON

{
  "args": [
    "urn:case:chem:hcl"
  ],
  "facts": [
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "species_in_question"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "dissolves_in_water"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "yields_hydrogen_cation"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "donates_proton"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "negated": true,
      "package": "openstax-chemistry-acids",
      "predicate": "accepts_electron_pair"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-acid-base",
  "predicate": "is_acid",
  "selectedInterpretations": [
    "urn:chem:clir:acid-base#LewisReading"
  ]
}

Почему такой результатПрименённые правила и условия

Путь вывода5 шагов

1
частица предъявлена делом как предмет вопроса
s: urn:case:chem:hcl
факт дела
2
частица принимает пару электронов и образует координационную связь
не частица принимает пару электронов и образует координационную связь: s: urn:case:chem:hcl
факт дела
3
предъявленная частица с опровергнутой акцепторностью пары — не кислота Льюиса
не кислота по Льюису: акцептор электронной пары: s: urn:case:chem:hcl
Идентификатор
urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance
правило
4
по прочтению Льюиса опровергнутая кислотность Льюиса опровергает кислотность
не частица признаётся кислотой по выбранному прочтению: s: urn:case:chem:hcl
Идентификатор
urn:chem:clir:acid-base#LewisReading/NotAcidUnderLewis
правило
5
Вычисление запроса
запрос

проверено движком: 3 · факт дела: 2 · Полный граф: 12 узлов

Основание этого ответа

Правила из сохранённой цепочки доказательства ответа.

Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина

по прочтению Льюиса опровергнутая кислотность Льюиса опровергает кислотность
Идентификатор
urn:chem:clir:acid-base#LewisReading/NotAcidUnderLewis
предъявленная частица с опровергнутой акцепторностью пары — не кислота Льюиса
Идентификатор
urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance

Другие правила расчёта3

Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.

Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина

определение Брёнстеда—Лоури общее: всякая кислота Аррениуса — кислота Брёнстеда
Идентификатор
urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid
растворяющаяся в воде частица, дающая катионы водорода, — кислота Аррениуса
Идентификатор
urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation
отдающая протон частица — кислота Брёнстеда—Лоури
Идентификатор
urn:chem:clir:acid-base#BronstedAcidDonatesProton

Другие выводы4

кислота по Аррениусу: в воде даёт катионы водорода
s: hcl
кислота по Брёнстеду—Лоури: донор протона
s: hcl
Исходные данные · JSON
JSONТолько чтение
```
"не lewis_acid(urn:case:chem:hcl)"
```
Исходные данные · JSON
JSONТолько чтение
```
"не is_acid(urn:case:chem:hcl)"
```

кислота по Аррениусу: в воде даёт катионы водорода
s
urn:case:chem:hcl

кислота по Брёнстеду—Лоури: донор протона
s
urn:case:chem:hcl

Идентификаторы календаря и доказательства

Ссылка на доказательство: mcp

Исходное обоснование · JSON

{
  "derived": [
    "arrhenius_acid(urn:case:chem:hcl)",
    "bronsted_acid(urn:case:chem:hcl)",
    "не lewis_acid(urn:case:chem:hcl)",
    "не is_acid(urn:case:chem:hcl)"
  ],
  "derivedOmitted": 0,
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid",
    "urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation",
    "urn:chem:clir:acid-base#BronstedAcidDonatesProton",
    "urn:chem:clir:acid-base#LewisReading/NotAcidUnderLewis",
    "urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance"
  ]
}

ИсточникиТексты не сохранены

Тексты источников в этом снимке не сохранены.

Пакеты в снимке

Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина
OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина

Технические данныеПолный ответ, параметры и контрольные суммы

Статус расчёта: COMPUTED

Полный ответ движка

is_acid: FALSE_ONLY — опровергнуто Выведено правом: arrhenius_acid(urn:case:chem:hcl); bronsted_acid(urn:case:chem:hcl); не lewis_acid(urn:case:chem:hcl); не is_acid(urn:case:chem:hcl) Применены правила: ArrheniusAcidIsBronstedAcid, ArrheniusAcidYieldsHydrogenCation, BronstedAcidDonatesProton, LewisReading/NotAcidUnderLewis, NotLewisAcidWithoutAcceptance Право (правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан): Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина (programHash sha256:ab5a9045fc28…) Вместе с актами: OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина

Полный машинный результат · JSON

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "опровергнуто",
    "missingInputs": [],
    "truthStatus": "FALSE_ONLY"
  },
  "closedEditionRules": [],
  "derived": [
    "arrhenius_acid(urn:case:chem:hcl)",
    "bronsted_acid(urn:case:chem:hcl)",
    "не lewis_acid(urn:case:chem:hcl)",
    "не is_acid(urn:case:chem:hcl)"
  ],
  "derivedOmitted": 0,
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 0,
        "fragments": [],
        "jurisdiction": null,
        "namespace": "urn:chem:clir:acid-base",
        "package": "chem-acid-base",
        "title": "Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина"
      },
      {
        "contributed": false,
        "fragmentCount": 23,
        "fragments": [],
        "jurisdiction": "none",
        "namespace": "urn:openstax:clir:chemistry-acids",
        "package": "openstax-chemistry-acids",
        "title": "OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"
      }
    ],
    "caseHash": "sha256:25a8ad89f49c8e7644145365c808979a88b639b29e4e8a24cd689d84ea17ac14",
    "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
    "jurisdiction": "правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан",
    "legalTime": "2026-09-06",
    "mode": "audit",
    "programHash": "sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b",
    "resultHash": "sha256:0ddf4814300565ac0d33219fd217ef894fdbcb3a79eca49349d2f44f5bee4fbb",
    "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid",
    "urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation",
    "urn:chem:clir:acid-base#BronstedAcidDonatesProton",
    "urn:chem:clir:acid-base#LewisReading/NotAcidUnderLewis",
    "urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "s",
        "type": {
          "name": "urn:openstax:clir:chemistry-acids#Species"
        }
      }
    ],
    "predicate": "urn:chem:clir:acid-base#is_acid",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:openstax:clir:chemistry-acids#Species": {
        "kind": "entity",
        "labels": [
          {
            "language": "en",
            "status": "unofficial",
            "text": "chemical species"
          },
          {
            "language": "ru",
            "status": "unofficial",
            "text": "химическая частица"
          }
        ],
        "namespace": "urn:openstax:clir:chemistry-acids",
        "package": "openstax.chemistry_acids"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Исполнение · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:25a8ad89f49c8e7644145365c808979a88b639b29e4e8a24cd689d84ea17ac14\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[\"urn:chem:clir:acid-base#LewisReading\"],\"jurisdictionProfile\":\"examples.profile/0.1.0\",\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:5de61fb63225060f4cdf95250231cbea0adf3e6f5a200694073317df28663263\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#species_in_question\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#dissolves_in_water\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#arrhenius_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#bronsted_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusAcidIsBronstedAcid:09cc31f36705305b571c3f507564d6b3a86b70feeda3a81605a76b4070df0c5b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#donates_proton\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#bronsted_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:BronstedAcidDonatesProton:03517306d1e1b0aa06c69a585c22d079acebef088aa125b6861c41baee216e98\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:chem:clir:acid-base#BronstedAcidDonatesProton\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:openstax:clir:chemistry-acids#accepts_electron_pair\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:chem:clir:acid-base#lewis_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:NotLewisAcidWithoutAcceptance:04f50aa546881b6c1b6841f8b35baa24831a17fe9aba58335c67d653b1410ae9\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-5\"],\"rule\":\"urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:chem:clir:acid-base#is_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:LewisReading/NotAcidUnderLewis:74b936a829a91e77f005b91cb39885f73f5871e34aa344dac215e397e2c20cc3\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:NotLewisAcidWithoutAcceptance:04f50aa546881b6c1b6841f8b35baa24831a17fe9aba58335c67d653b1410ae9\",\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:chem:clir:acid-base#LewisReading/NotAcidUnderLewis\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"selected\":[\"urn:chem:clir:acid-base#LewisReading\"]},\"evidence\":[],\"id\":\"urn:proof:interpretation-selection\",\"kind\":\"interpretation_selection\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#is_acid\"},\"truthStatus\":\"FALSE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:LewisReading/NotAcidUnderLewis:74b936a829a91e77f005b91cb39885f73f5871e34aa344dac215e397e2c20cc3\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:e8675e1ec4424563204dac42b149f6476e972f815f8acc35b3ff20fd645fa49b\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:0ddf4814300565ac0d33219fd217ef894fdbcb3a79eca49349d2f44f5bee4fbb\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:chem:clir:acid-base#is_acid\",\"truthStatus\":\"FALSE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}",
  "evaluationSha256": "sha256:a4e977a694f2a866ab4a6a40e0c378eff7a68d90e54fd082d246db363f406b71",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:openstax:clir:chemistry-acids#species_in_question"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:openstax:clir:chemistry-acids#dissolves_in_water"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-3",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:openstax:clir:chemistry-acids#yields_hydrogen_cation"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-4",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:openstax:clir:chemistry-acids#donates_proton"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-5",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:chem:hcl",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "negative",
            "predicate": "urn:openstax:clir:chemistry-acids#accepts_electron_pair"
          },
          "origin": "case_input",
          "package": "urn:openstax:clir:chemistry-acids"
        }
      ],
      "context": {
        "decisionTime": "2026-09-06T12:00:00+05:00",
        "knowledgeTime": "2026-09-06T12:00:00+05:00",
        "legalTime": "2026-09-06",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": [
          "urn:chem:clir:acid-base#LewisReading"
        ]
      }
    },
    "ir": {
      "irSha256": "sha256:0bc6312c57c770e83a78de44336311463524c27ff13a5352d1b13c083298f3a8",
      "kind": "world_ref",
      "nodeCount": 89,
      "packages": [
        {
          "artifactHash": "sha256:3ab9d430f7ef46646dbab770ac088299c9d2f5694bb819bc6202f53f5578f3b3",
          "namespace": "urn:chem:clir:acid-base",
          "package": "chem-acid-base",
          "semanticHash": "sha256:f1a9bd47d51ba8beffa928b856969df9d1d27f3e596a141fa0b8746294bcd1d7"
        },
        {
          "artifactHash": "sha256:7e32b669f218a77d04ad65e10e3637e1f7f6e14119fc6f89f2b24c31ffbc05e6",
          "namespace": "urn:openstax:clir:chemistry-acids",
          "package": "openstax-chemistry-acids",
          "semanticHash": "sha256:74688db904093c2ca7e3ede9264d25dc2ddb764673cf24be5a295e6232bafbb4"
        }
      ],
      "programHash": "sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b"
    },
    "query": {
      "kind": "truth",
      "literal": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:chem:clir:acid-base#is_acid"
      },
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.1.0"
  },
  "requestCanonicalSha256": "sha256:d697bb94ce7795b7043f8ba72167529c77c7268c70ca2e77dee93b8b29a9f34d"
}

Метаданные отображения

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:d697bb94ce7795b7043f8ba72167529c77c7268c70ca2e77dee93b8b29a9f34d"
  },
  "steps": [
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:openstax:clir:chemistry-acids#species_in_question"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-1",
      "kind": "assertion",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "negative",
        "predicate": "urn:openstax:clir:chemistry-acids#accepts_electron_pair"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-5",
      "kind": "assertion",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "negative",
        "predicate": "urn:chem:clir:acid-base#lewis_acid"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "negative",
        "predicate": "urn:chem:clir:acid-base#lewis_acid"
      },
      "id": "urn:proof:apply:NotLewisAcidWithoutAcceptance:04f50aa546881b6c1b6841f8b35baa24831a17fe9aba58335c67d653b1410ae9",
      "kind": "rule_application",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1",
        "urn:proof:assert:urn:mcp:case#fact-5"
      ],
      "rule": "urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance",
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:case:chem:hcl",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ]
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:chem:hcl",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "negative",
        "predicate": "urn:chem:clir:acid-base#is_acid"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "negative",
        "predicate": "urn:chem:clir:acid-base#is_acid"
      },
      "id": "urn:proof:apply:LewisReading/NotAcidUnderLewis:74b936a829a91e77f005b91cb39885f73f5871e34aa344dac215e397e2c20cc3",
      "kind": "rule_application",
      "premises": [
        "urn:proof:apply:NotLewisAcidWithoutAcceptance:04f50aa546881b6c1b6841f8b35baa24831a17fe9aba58335c67d653b1410ae9",
        "urn:proof:assert:urn:mcp:case#fact-1"
      ],
      "rule": "urn:chem:clir:acid-base#LewisReading/NotAcidUnderLewis",
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:case:chem:hcl",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ]
    },
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:case:chem:hcl",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:chem:clir:acid-base#is_acid"
        },
        "truthStatus": "FALSE_ONLY"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "premises": [
        "urn:proof:apply:LewisReading/NotAcidUnderLewis:74b936a829a91e77f005b91cb39885f73f5871e34aa344dac215e397e2c20cc3"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the Brønsted-Lowry description is more general: every Arrhenius acid is a Brønsted-Lowry acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "определение Брёнстеда—Лоури общее: всякая кислота Аррениуса — кислота Брёнстеда"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "a compound that dissolves in water to yield hydrogen cations is an Arrhenius acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "растворяющаяся в воде частица, дающая катионы водорода, — кислота Аррениуса"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#BronstedAcidDonatesProton",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "a compound that donates a proton is a Brønsted-Lowry acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "отдающая протон частица — кислота Брёнстеда—Лоури"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#LewisReading",
      "kind": "interpretation",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Lewis reading: an acid is an electron-pair acceptor"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "прочтение Льюиса: кислота — акцептор электронной пары"
        }
      ],
      "package": "urn:chem:clir:acid-base"
    },
    {
      "id": "urn:chem:clir:acid-base#LewisReading/NotAcidUnderLewis",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "under the Lewis reading, a refuted Lewis acid is not an acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "по прочтению Льюиса опровергнутая кислотность Льюиса опровергает кислотность"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "a presented species whose electron-pair acceptance is refuted is not a Lewis acid"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "предъявленная частица с опровергнутой акцепторностью пары — не кислота Льюиса"
        }
      ],
      "package": "urn:chem:clir:acid-base",
      "strength": "strict"
    },
    {
      "id": "urn:chem:clir:acid-base#arrhenius_acid",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Arrhenius acid: yields hydrogen cations in water"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "кислота по Аррениусу: в воде даёт катионы водорода"
        }
      ],
      "name": "arrhenius_acid",
      "package": "urn:chem:clir:acid-base",
      "parameters": [
        {
          "id": "urn:chem:clir:acid-base#arrhenius_acid/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:chem:clir:acid-base#bronsted_acid",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Brønsted-Lowry acid: proton donor"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "кислота по Брёнстеду—Лоури: донор протона"
        }
      ],
      "name": "bronsted_acid",
      "package": "urn:chem:clir:acid-base",
      "parameters": [
        {
          "id": "urn:chem:clir:acid-base#bronsted_acid/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:chem:clir:acid-base#is_acid",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species is an acid under the selected reading"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица признаётся кислотой по выбранному прочтению"
        }
      ],
      "name": "is_acid",
      "package": "urn:chem:clir:acid-base",
      "parameters": [
        {
          "id": "urn:chem:clir:acid-base#is_acid/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:chem:clir:acid-base#lewis_acid",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Lewis acid: electron-pair acceptor"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "кислота по Льюису: акцептор электронной пары"
        }
      ],
      "name": "lewis_acid",
      "package": "urn:chem:clir:acid-base",
      "parameters": [
        {
          "id": "urn:chem:clir:acid-base#lewis_acid/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "openstax.chemistry_acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#Species",
      "kind": "type_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "chemical species"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "химическая частица"
        }
      ],
      "name": "Species",
      "package": "urn:openstax:clir:chemistry-acids"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#accepts_electron_pair",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species accepts an electron pair forming a coordinate covalent bond"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица принимает пару электронов и образует координационную связь"
        }
      ],
      "name": "accepts_electron_pair",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#accepts_electron_pair/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#dissolves_in_water",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species dissolves in water"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица растворяется в воде"
        }
      ],
      "name": "dissolves_in_water",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#dissolves_in_water/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#donates_proton",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species donates a proton to another compound"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица отдаёт протон другой частице"
        }
      ],
      "name": "donates_proton",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#donates_proton/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#species_in_question",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the species is presented by the case as the subject of the question"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "частица предъявлена делом как предмет вопроса"
        }
      ],
      "name": "species_in_question",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#species_in_question/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:openstax:clir:chemistry-acids#yields_hydrogen_cation",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "on dissolving in water the species yields hydrogen cations"
        },
        {
          "language": "ru",
          "status": "unofficial",
          "text": "при растворении в воде частица даёт катион водорода"
        }
      ],
      "name": "yields_hydrogen_cation",
      "package": "urn:openstax:clir:chemistry-acids",
      "parameters": [
        {
          "id": "urn:openstax:clir:chemistry-acids#yields_hydrogen_cation/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:openstax:clir:chemistry-acids#Species"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · расчёты, источники и точные данные

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 0,
      "fragments": [],
      "jurisdiction": null,
      "namespace": "urn:chem:clir:acid-base",
      "package": "chem-acid-base",
      "title": "Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина"
    },
    {
      "contributed": false,
      "fragmentCount": 23,
      "fragments": [],
      "jurisdiction": "none",
      "namespace": "urn:openstax:clir:chemistry-acids",
      "package": "openstax-chemistry-acids",
      "title": "OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"
    }
  ],
  "caseHash": "sha256:25a8ad89f49c8e7644145365c808979a88b639b29e4e8a24cd689d84ea17ac14",
  "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
  "jurisdiction": "правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан",
  "legalTime": "2026-09-06",
  "mode": "audit",
  "programHash": "sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b",
  "resultHash": "sha256:0ddf4814300565ac0d33219fd217ef894fdbcb3a79eca49349d2f44f5bee4fbb",
  "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:a4e977a694f2a866ab4a6a40e0c378eff7a68d90e54fd082d246db363f406b71

Исходные данные · JSON

{
  "args": [
    "urn:case:chem:hcl"
  ],
  "facts": [
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "species_in_question"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "dissolves_in_water"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "yields_hydrogen_cation"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "package": "openstax-chemistry-acids",
      "predicate": "donates_proton"
    },
    {
      "args": [
        "urn:case:chem:hcl"
      ],
      "negated": true,
      "package": "openstax-chemistry-acids",
      "predicate": "accepts_electron_pair"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-acid-base",
  "predicate": "is_acid",
  "selectedInterpretations": [
    "urn:chem:clir:acid-base#LewisReading"
  ]
}

По Льюису кислота — акцептор электронной пары. Дело прямо утверждает, что HCl её не принимает, поэтому ответ не «не установлено», а «опровергнуто».

Как сослаться

Снимок неизменяем: его закрепляет SHA-256 скачиваемого JSON, поэтому дата обращения не нужна.

Текст ссылки

«Является ли хлороводород HCl кислотой? Один и тот же случай по трём определениям: Аррениуса, Брёнстеда—Лоури и Льюиса.». Arxo Lens, по состоянию на 06.09.2026. https://lens.arxo.io/a/a_KkWQ_izc6VR-mpABAC90A9dh. SHA-256 снимка: b03f6e608a8d4cec8324dec37bbb565fc735252865168581255fb0b809e966d8.

BibTeX

@misc{arxo-lens-a_KkWQ_izc6VR-,
  title = {Является ли хлороводород HCl кислотой? Один и тот же случай по трём определениям: Аррениуса, Брёнстеда—Лоури и Льюиса.},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/a_KkWQ_izc6VR-mpABAC90A9dh},
  note = {по состоянию на 06.09.2026; SHA-256 b03f6e608a8d4cec8324dec37bbb565fc735252865168581255fb0b809e966d8}
}

Код для вставки

Карточка показывает результат и ведёт к полному разбору; cookies не ставит.

<iframe src="https://lens.arxo.io/embed/a_KkWQ_izc6VR-mpABAC90A9dh?lang=ru" width="100%" height="362" loading="lazy" title="Кислота ли HCl? Три определения — Arxo Lens" style="border:0"></iframe>

Анонимная статистика посещений, без cookies.