"propositional logic" meaning in All languages combined

{
  "forms": [
    {
      "form": "propositional logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "propositional logic (plural propositional 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": "other",
          "name": "Entries with translation boxes",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Czech translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Finnish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with French translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with German translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Greek translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Icelandic translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Macedonian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Polish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Romanian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives."
      ],
      "id": "en-propositional_logic-en-noun-drvjZ6B7",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "system",
          "formal system"
        ],
        [
          "formula",
          "formula"
        ],
        [
          "proposition",
          "proposition"
        ],
        [
          "atomic proposition",
          "atomic proposition"
        ],
        [
          "logical connective",
          "logical connective"
        ]
      ],
      "raw_glosses": [
        "(logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives."
      ],
      "synonyms": [
        {
          "word": "propositional calculus"
        },
        {
          "word": "zero-order logic"
        }
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "translations": [
        {
          "code": "cs",
          "lang": "Czech",
          "sense": "formal deductive system",
          "tags": [
            "feminine"
          ],
          "word": "výroková logika"
        },
        {
          "code": "fi",
          "lang": "Finnish",
          "sense": "formal deductive system",
          "word": "propositiologiikka"
        },
        {
          "code": "fi",
          "lang": "Finnish",
          "sense": "formal deductive system",
          "word": "lauselogiikka"
        },
        {
          "code": "fr",
          "lang": "French",
          "sense": "formal deductive system",
          "tags": [
            "feminine"
          ],
          "word": "logique propositionnelle"
        },
        {
          "code": "de",
          "lang": "German",
          "sense": "formal deductive system",
          "tags": [
            "feminine"
          ],
          "word": "Aussagenlogik"
        },
        {
          "code": "el",
          "lang": "Greek",
          "roman": "protasiakós logismós",
          "sense": "formal deductive system",
          "tags": [
            "masculine"
          ],
          "word": "προτασιακός λογισμός"
        },
        {
          "code": "mk",
          "lang": "Macedonian",
          "roman": "iskazna logika",
          "sense": "formal deductive system",
          "tags": [
            "feminine"
          ],
          "word": "исказна логика"
        },
        {
          "code": "pl",
          "lang": "Polish",
          "sense": "formal deductive system",
          "tags": [
            "masculine"
          ],
          "word": "rachunek zdań"
        },
        {
          "code": "ro",
          "lang": "Romanian",
          "sense": "formal deductive system",
          "tags": [
            "feminine"
          ],
          "word": "logică propozițională"
        }
      ],
      "wikipedia": [
        "propositional logic"
      ]
    }
  ],
  "word": "propositional logic"
}

{
  "forms": [
    {
      "form": "propositional logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "propositional logic (plural propositional 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",
        "Entries with translation boxes",
        "Pages with 1 entry",
        "Pages with entries",
        "Requests for review of Icelandic translations",
        "Terms with Czech translations",
        "Terms with Finnish translations",
        "Terms with French translations",
        "Terms with German translations",
        "Terms with Greek translations",
        "Terms with Icelandic translations",
        "Terms with Macedonian translations",
        "Terms with Polish translations",
        "Terms with Romanian translations",
        "en:Logic"
      ],
      "glosses": [
        "A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives."
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "system",
          "formal system"
        ],
        [
          "formula",
          "formula"
        ],
        [
          "proposition",
          "proposition"
        ],
        [
          "atomic proposition",
          "atomic proposition"
        ],
        [
          "logical connective",
          "logical connective"
        ]
      ],
      "raw_glosses": [
        "(logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives."
      ],
      "synonyms": [
        {
          "word": "propositional calculus"
        },
        {
          "word": "zero-order logic"
        }
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "wikipedia": [
        "propositional logic"
      ]
    }
  ],
  "translations": [
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "formal deductive system",
      "tags": [
        "feminine"
      ],
      "word": "výroková logika"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "formal deductive system",
      "word": "propositiologiikka"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "formal deductive system",
      "word": "lauselogiikka"
    },
    {
      "code": "fr",
      "lang": "French",
      "sense": "formal deductive system",
      "tags": [
        "feminine"
      ],
      "word": "logique propositionnelle"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "formal deductive system",
      "tags": [
        "feminine"
      ],
      "word": "Aussagenlogik"
    },
    {
      "code": "el",
      "lang": "Greek",
      "roman": "protasiakós logismós",
      "sense": "formal deductive system",
      "tags": [
        "masculine"
      ],
      "word": "προτασιακός λογισμός"
    },
    {
      "code": "mk",
      "lang": "Macedonian",
      "roman": "iskazna logika",
      "sense": "formal deductive system",
      "tags": [
        "feminine"
      ],
      "word": "исказна логика"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "sense": "formal deductive system",
      "tags": [
        "masculine"
      ],
      "word": "rachunek zdań"
    },
    {
      "code": "ro",
      "lang": "Romanian",
      "sense": "formal deductive system",
      "tags": [
        "feminine"
      ],
      "word": "logică propozițională"
    }
  ],
  "word": "propositional logic"
}