{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:7d173ecd-6ccd-485b-bbf8-a07c0afcb158",
  "labels": {
    "zh-CN": "析取",
    "en": "disjunction"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "a32fc359e9bb76833faa88e7f80ac443a4ff5cbf3d51bde15f0f10965bdbfe61",
  "occurrences": [
    {
      "concept_id": "urn:uuid:7d173ecd-6ccd-485b-bbf8-a07c0afcb158",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-01/01-sets-and-logic",
      "anchor": "first-f0ecedaaf1eea2677a1e-zh",
      "chapter": "1",
      "section": "1.1",
      "offset": 2880,
      "range": [
        6443,
        6677
      ],
      "source_revision": "a5e931b602e555c1e0a6e2517175988061bcad277547cad40cab1e1bfd28192c",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "析取(disjunction)",
      "context": {
        "range": [
          5956,
          6757
        ],
        "quote": "“非”“且”“或”“<u class=\"concept-term\" data-concept-identity=\"urn:uuid:cea74f88-ca24-4874-89ca-5f0cb65d2c84\" data-concept-route=\"/concept-identities#concept-cea74f88-ca24-4874-89ca-5f0cb65d2c84\" id=\"first-99687605a0c32d40fc19-zh\">蕴含(implication)</u>”分别表达否定、<u class=\"concept-term\" data-concept-identity=\"urn:uuid:88b73e49-36cf-4222-b64a-abe13ee42ee5\" data-concept-route=\"/concept-identities#concept-88b73e49-36cf-4222-b64a-abe13ee42ee5\" id=\"first-336c9f02aa41317bf09f-zh\">合取(conjunction)</u>、<u class=\"concept-term\" data-concept-identity=\"urn:uuid:7d173ecd-6ccd-485b-bbf8-a07c0afcb158\" data-concept-route=\"/concept-identities#concept-7d173ecd-6ccd-485b-bbf8-a07c0afcb158\" id=\"first-f0ecedaaf1eea2677a1e-zh\">析取(disjunction)</u>和条件关系。“若 $P$ 则 $Q$”记为 $P\\Rightarrow Q$；“$P$ 当且仅当 $Q$”记为 $P\\Leftrightarrow Q$，意思是",
        "quote_sha256": "af68c91a21e9739a7551a44a12b13513d7bfb8831a5047c1407773ecfb515d94",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-01/01-sets-and-logic",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-d26b47a7e0f2e8a0cb375d6b"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-01/01-sets-and-logic",
      "lang": "zh-CN",
      "section": "1.1",
      "signal": "term-mark",
      "label": "析取",
      "english": "disjunction",
      "offset": 1161
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-d26b47a7e0f2e8a0cb375d6b"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 1,
    "located_occurrences": 1,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "fa2815273785de512713d2f6c2f775ce3d9612831c532bd09ba38750cd57630c",
  "optional_enrichments": []
}