{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:21a7ab40-1a23-4f76-b330-509920b3fbea",
  "labels": {
    "zh-CN": "逻辑联结词",
    "en": "logical connective"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "fa29a7451f492804c43d7ab83eaa41f8901a657c381440fcd85c311636203dea",
  "occurrences": [
    {
      "concept_id": "urn:uuid:21a7ab40-1a23-4f76-b330-509920b3fbea",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-01/01-sets-and-logic",
      "anchor": "first-ed32546170d33f79aab6-zh",
      "chapter": "1",
      "section": "1.1",
      "offset": 1899,
      "range": [
        5462,
        5706
      ],
      "source_revision": "a5e931b602e555c1e0a6e2517175988061bcad277547cad40cab1e1bfd28192c",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "逻辑联结词(logical connective)",
      "context": {
        "range": [
          5418,
          5954
        ],
        "quote": "它表示所有使 $P(x)$ 成立的对象。这里不展开形式逻辑的完整定义。命题由常量、变量、<u class=\"concept-term\" data-concept-identity=\"urn:uuid:21a7ab40-1a23-4f76-b330-509920b3fbea\" data-concept-route=\"/concept-identities#concept-21a7ab40-1a23-4f76-b330-509920b3fbea\" id=\"first-ed32546170d33f79aab6-zh\">逻辑联结词(logical connective)</u>以及<u class=\"concept-term\" data-concept-identity=\"urn:uuid:e5cf34a0-c35c-4078-8194-cbdb83bbc3cf\" data-concept-route=\"/concept-identities#concept-e5cf34a0-c35c-4078-8194-cbdb83bbc3cf\" id=\"first-1003826324061f0695fc-zh\">量词(quantifier)</u>组成，并按照逻辑规则操作。",
        "quote_sha256": "27cd7ab0fa535d7da163bda4665cd009ee2e6837994b070c186663095f638b2a",
        "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-05e5f4b968528a8543de7991"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-01/01-sets-and-logic",
      "lang": "zh-CN",
      "section": "1.1",
      "signal": "term-mark",
      "label": "逻辑联结词",
      "english": "logical connective",
      "offset": 944
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-05e5f4b968528a8543de7991"
  ],
  "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": "2f9b2c033f08e890ce9c6db88300967ec89d05b5ef8cae5b4f47af476ac56cd9",
  "optional_enrichments": []
}