"sentential logic" meaning in English

{
  "forms": [
    {
      "form": "sentential logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "sentential logic (plural sentential logics)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "The Leibniz operator and the study of various of its properties that may or may not be satisfied for particular sentential logics have given rise to what is now known as the abstract algebraic hierarchy or Leibniz hierarchy of sentential logics.ᵂᴾ"
        }
      ],
      "glosses": [
        "propositional logic"
      ],
      "id": "en-sentential_logic-en-noun-h1e89wKx",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "propositional logic",
          "propositional logic"
        ]
      ],
      "raw_glosses": [
        "(logic) propositional logic"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "word": "sentential logic"
}

{
  "forms": [
    {
      "form": "sentential logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "sentential logic (plural sentential logics)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "en:Logic"
      ],
      "examples": [
        {
          "text": "The Leibniz operator and the study of various of its properties that may or may not be satisfied for particular sentential logics have given rise to what is now known as the abstract algebraic hierarchy or Leibniz hierarchy of sentential logics.ᵂᴾ"
        }
      ],
      "glosses": [
        "propositional logic"
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "propositional logic",
          "propositional logic"
        ]
      ],
      "raw_glosses": [
        "(logic) propositional logic"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "word": "sentential logic"
}