"Boolean logic" meaning in English

See Boolean logic in All languages combined, or Wiktionary

Noun

Forms: Boolean logics [plural]
Head templates: {{en-noun|-|s}} Boolean logic (usually uncountable, plural Boolean logics)
  1. (computing, logic, mathematics) A system of symbolic logic that is the basis of Boolean algebra Tags: uncountable, usually Categories (topical): Computing, Logic, Mathematics Hypernyms: logic Translations (system of symbolic logic): Booleova logika [feminine] (Czech), booleovská logika [feminine] (Czech), logique booléenne [feminine] (French), boolesche Logik [feminine] (German), logika boolean (Indonesian), Булова логика (Bulova logika) [feminine] (Macedonian), Booleova logika [Latin, feminine] (Serbo-Croatian), Boole mantığı (Turkish)

Inflected forms

{
  "forms": [
    {
      "form": "Boolean logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-",
        "2": "s"
      },
      "expansion": "Boolean logic (usually uncountable, plural Boolean 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 French translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with German translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Indonesian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Macedonian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Serbo-Croatian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Turkish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Computing",
          "orig": "en:Computing",
          "parents": [
            "Technology",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "Boolean logic can be shown to be \"embedded\" in integer arithmetic (modulo 2) by assigning polynomials to logical connectives, like so: operatorname NOT(x)=1-x,  operatorname AND(x,y)=xy,  operatorname OR(x,y)=x+y-xy."
        }
      ],
      "glosses": [
        "A system of symbolic logic that is the basis of Boolean algebra"
      ],
      "hypernyms": [
        {
          "word": "logic"
        }
      ],
      "id": "en-Boolean_logic-en-noun-K8rsjQmS",
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "logic",
          "logic"
        ],
        [
          "mathematics",
          "mathematics"
        ],
        [
          "system",
          "system"
        ],
        [
          "symbolic",
          "symbolic"
        ],
        [
          "Boolean algebra",
          "Boolean algebra"
        ]
      ],
      "raw_glosses": [
        "(computing, logic, mathematics) A system of symbolic logic that is the basis of Boolean algebra"
      ],
      "tags": [
        "uncountable",
        "usually"
      ],
      "topics": [
        "computing",
        "engineering",
        "human-sciences",
        "logic",
        "mathematics",
        "natural-sciences",
        "philosophy",
        "physical-sciences",
        "sciences"
      ],
      "translations": [
        {
          "code": "cs",
          "lang": "Czech",
          "sense": "system of symbolic logic",
          "tags": [
            "feminine"
          ],
          "word": "Booleova logika"
        },
        {
          "code": "cs",
          "lang": "Czech",
          "sense": "system of symbolic logic",
          "tags": [
            "feminine"
          ],
          "word": "booleovská logika"
        },
        {
          "code": "fr",
          "lang": "French",
          "sense": "system of symbolic logic",
          "tags": [
            "feminine"
          ],
          "word": "logique booléenne"
        },
        {
          "code": "de",
          "lang": "German",
          "sense": "system of symbolic logic",
          "tags": [
            "feminine"
          ],
          "word": "boolesche Logik"
        },
        {
          "code": "id",
          "lang": "Indonesian",
          "sense": "system of symbolic logic",
          "word": "logika boolean"
        },
        {
          "code": "mk",
          "lang": "Macedonian",
          "roman": "Bulova logika",
          "sense": "system of symbolic logic",
          "tags": [
            "feminine"
          ],
          "word": "Булова логика"
        },
        {
          "code": "sh",
          "lang": "Serbo-Croatian",
          "sense": "system of symbolic logic",
          "tags": [
            "Latin",
            "feminine"
          ],
          "word": "Booleova logika"
        },
        {
          "code": "tr",
          "lang": "Turkish",
          "sense": "system of symbolic logic",
          "word": "Boole mantığı"
        }
      ]
    }
  ],
  "word": "Boolean logic"
}
{
  "forms": [
    {
      "form": "Boolean logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-",
        "2": "s"
      },
      "expansion": "Boolean logic (usually uncountable, plural Boolean logics)",
      "name": "en-noun"
    }
  ],
  "hypernyms": [
    {
      "word": "logic"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English eponyms",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English uncountable nouns",
        "Entries with translation boxes",
        "Pages with 1 entry",
        "Pages with entries",
        "Terms with Czech translations",
        "Terms with French translations",
        "Terms with German translations",
        "Terms with Indonesian translations",
        "Terms with Macedonian translations",
        "Terms with Serbo-Croatian translations",
        "Terms with Turkish translations",
        "en:Computing",
        "en:Logic",
        "en:Mathematics"
      ],
      "examples": [
        {
          "text": "Boolean logic can be shown to be \"embedded\" in integer arithmetic (modulo 2) by assigning polynomials to logical connectives, like so: operatorname NOT(x)=1-x,  operatorname AND(x,y)=xy,  operatorname OR(x,y)=x+y-xy."
        }
      ],
      "glosses": [
        "A system of symbolic logic that is the basis of Boolean algebra"
      ],
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "logic",
          "logic"
        ],
        [
          "mathematics",
          "mathematics"
        ],
        [
          "system",
          "system"
        ],
        [
          "symbolic",
          "symbolic"
        ],
        [
          "Boolean algebra",
          "Boolean algebra"
        ]
      ],
      "raw_glosses": [
        "(computing, logic, mathematics) A system of symbolic logic that is the basis of Boolean algebra"
      ],
      "tags": [
        "uncountable",
        "usually"
      ],
      "topics": [
        "computing",
        "engineering",
        "human-sciences",
        "logic",
        "mathematics",
        "natural-sciences",
        "philosophy",
        "physical-sciences",
        "sciences"
      ]
    }
  ],
  "translations": [
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "system of symbolic logic",
      "tags": [
        "feminine"
      ],
      "word": "Booleova logika"
    },
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "system of symbolic logic",
      "tags": [
        "feminine"
      ],
      "word": "booleovská logika"
    },
    {
      "code": "fr",
      "lang": "French",
      "sense": "system of symbolic logic",
      "tags": [
        "feminine"
      ],
      "word": "logique booléenne"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "system of symbolic logic",
      "tags": [
        "feminine"
      ],
      "word": "boolesche Logik"
    },
    {
      "code": "id",
      "lang": "Indonesian",
      "sense": "system of symbolic logic",
      "word": "logika boolean"
    },
    {
      "code": "mk",
      "lang": "Macedonian",
      "roman": "Bulova logika",
      "sense": "system of symbolic logic",
      "tags": [
        "feminine"
      ],
      "word": "Булова логика"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "system of symbolic logic",
      "tags": [
        "Latin",
        "feminine"
      ],
      "word": "Booleova logika"
    },
    {
      "code": "tr",
      "lang": "Turkish",
      "sense": "system of symbolic logic",
      "word": "Boole mantığı"
    }
  ],
  "word": "Boolean logic"
}

Download raw JSONL data for Boolean logic meaning in English (2.7kB)


This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2025-04-02 from the enwiktionary dump dated 2025-03-21 using wiktextract (db8a5a5 and fb63907). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.