"quantificateur existentiel" meaning in Français

See quantificateur existentiel in All languages combined, or Wiktionary

Noun

IPA: \kɑ̃.ti.fi.ka.tœ.ʁ‿ɛɡ.zis.tɑ̃.sjɛl\ Audio: LL-Q150 (fra)-Lepticed7-quantificateur existentiel.wav , LL-Q150 (fra)-WikiLucas00-quantificateur existentiel.wav , LL-Q150 (fra)-Guilhelma-quantificateur existentiel.wav Forms: quantificateurs existentiels [plural]
  1. Opérateur, représenté par le symbole ∃ (E retourné), utilisé dans le calcul des prédicats pour indiquer qu’un prédicat est vrai pour au moins un élément d’un ensemble donné. Le symbole ∃ est lu « il existe (au moins un) ». Le symbole ∃! est lu « il existe un et un seul ».
    Sense id: fr-quantificateur_existentiel-fr-noun-Tu8s7O8q Categories (other): Lexique en français de la logique, Wiktionnaire:Exemples manquants en français Topics: logic
The following are not (yet) sense-disambiguated
Related terms: quantificateur universel Translations (Opérateur indiquant qu’un prédicat est vrai pour au moins un élément): Existenzquantor [masculine] (Allemand), existential quantifier (Anglais), egzistencijalna kvantifikacija (Croate), 存在量化子 (sonzai ryōkashi) (Japonais), квантор существования [masculine] (Russe)

Inflected forms

{
  "categories": [
    {
      "kind": "other",
      "name": "Dates manquantes en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Locutions nominales en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Traductions en allemand",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Traductions en anglais",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Traductions en croate",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Traductions en japonais",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Traductions en russe",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Français",
      "orig": "français",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_texts": [
    "(Date à préciser) Composé du nom quantificateur et de l’adjectif existentiel."
  ],
  "forms": [
    {
      "form": "quantificateurs existentiels",
      "tags": [
        "plural"
      ]
    }
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "noun",
  "pos_title": "Locution nominale",
  "related": [
    {
      "word": "quantificateur universel"
    }
  ],
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Lexique en français de la logique",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Wiktionnaire:Exemples manquants en français",
          "parents": [],
          "source": "w"
        }
      ],
      "glosses": [
        "Opérateur, représenté par le symbole ∃ (E retourné), utilisé dans le calcul des prédicats pour indiquer qu’un prédicat est vrai pour au moins un élément d’un ensemble donné. Le symbole ∃ est lu « il existe (au moins un) ». Le symbole ∃! est lu « il existe un et un seul »."
      ],
      "id": "fr-quantificateur_existentiel-fr-noun-Tu8s7O8q",
      "topics": [
        "logic"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\kɑ̃.ti.fi.ka.tœ.ʁ‿ɛɡ.zis.tɑ̃.sjɛl\\"
    },
    {
      "audio": "LL-Q150 (fra)-Lepticed7-quantificateur existentiel.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/d/dc/LL-Q150_(fra)-Lepticed7-quantificateur_existentiel.wav/LL-Q150_(fra)-Lepticed7-quantificateur_existentiel.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/d/dc/LL-Q150_(fra)-Lepticed7-quantificateur_existentiel.wav/LL-Q150_(fra)-Lepticed7-quantificateur_existentiel.wav.ogg",
      "raw_tags": [
        "France (Toulouse)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-quantificateur existentiel.wav"
    },
    {
      "audio": "LL-Q150 (fra)-WikiLucas00-quantificateur existentiel.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/d/d8/LL-Q150_(fra)-WikiLucas00-quantificateur_existentiel.wav/LL-Q150_(fra)-WikiLucas00-quantificateur_existentiel.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/d/d8/LL-Q150_(fra)-WikiLucas00-quantificateur_existentiel.wav/LL-Q150_(fra)-WikiLucas00-quantificateur_existentiel.wav.ogg",
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-quantificateur existentiel.wav"
    },
    {
      "audio": "LL-Q150 (fra)-Guilhelma-quantificateur existentiel.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/8/8c/LL-Q150_(fra)-Guilhelma-quantificateur_existentiel.wav/LL-Q150_(fra)-Guilhelma-quantificateur_existentiel.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/8/8c/LL-Q150_(fra)-Guilhelma-quantificateur_existentiel.wav/LL-Q150_(fra)-Guilhelma-quantificateur_existentiel.wav.ogg",
      "raw_tags": [
        "Cesseras (France)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-quantificateur existentiel.wav"
    }
  ],
  "tags": [
    "masculine"
  ],
  "translations": [
    {
      "lang": "Allemand",
      "lang_code": "de",
      "sense": "Opérateur indiquant qu’un prédicat est vrai pour au moins un élément",
      "sense_index": 1,
      "tags": [
        "masculine"
      ],
      "word": "Existenzquantor"
    },
    {
      "lang": "Anglais",
      "lang_code": "en",
      "sense": "Opérateur indiquant qu’un prédicat est vrai pour au moins un élément",
      "sense_index": 1,
      "word": "existential quantifier"
    },
    {
      "lang": "Croate",
      "lang_code": "hr",
      "sense": "Opérateur indiquant qu’un prédicat est vrai pour au moins un élément",
      "sense_index": 1,
      "word": "egzistencijalna kvantifikacija"
    },
    {
      "lang": "Japonais",
      "lang_code": "ja",
      "roman": "sonzai ryōkashi",
      "sense": "Opérateur indiquant qu’un prédicat est vrai pour au moins un élément",
      "sense_index": 1,
      "word": "存在量化子"
    },
    {
      "lang": "Russe",
      "lang_code": "ru",
      "sense": "Opérateur indiquant qu’un prédicat est vrai pour au moins un élément",
      "sense_index": 1,
      "tags": [
        "masculine"
      ],
      "word": "квантор существования"
    }
  ],
  "word": "quantificateur existentiel"
}
{
  "categories": [
    "Dates manquantes en français",
    "Locutions nominales en français",
    "Traductions en allemand",
    "Traductions en anglais",
    "Traductions en croate",
    "Traductions en japonais",
    "Traductions en russe",
    "français"
  ],
  "etymology_texts": [
    "(Date à préciser) Composé du nom quantificateur et de l’adjectif existentiel."
  ],
  "forms": [
    {
      "form": "quantificateurs existentiels",
      "tags": [
        "plural"
      ]
    }
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "noun",
  "pos_title": "Locution nominale",
  "related": [
    {
      "word": "quantificateur universel"
    }
  ],
  "senses": [
    {
      "categories": [
        "Lexique en français de la logique",
        "Wiktionnaire:Exemples manquants en français"
      ],
      "glosses": [
        "Opérateur, représenté par le symbole ∃ (E retourné), utilisé dans le calcul des prédicats pour indiquer qu’un prédicat est vrai pour au moins un élément d’un ensemble donné. Le symbole ∃ est lu « il existe (au moins un) ». Le symbole ∃! est lu « il existe un et un seul »."
      ],
      "topics": [
        "logic"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\kɑ̃.ti.fi.ka.tœ.ʁ‿ɛɡ.zis.tɑ̃.sjɛl\\"
    },
    {
      "audio": "LL-Q150 (fra)-Lepticed7-quantificateur existentiel.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/d/dc/LL-Q150_(fra)-Lepticed7-quantificateur_existentiel.wav/LL-Q150_(fra)-Lepticed7-quantificateur_existentiel.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/d/dc/LL-Q150_(fra)-Lepticed7-quantificateur_existentiel.wav/LL-Q150_(fra)-Lepticed7-quantificateur_existentiel.wav.ogg",
      "raw_tags": [
        "France (Toulouse)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-quantificateur existentiel.wav"
    },
    {
      "audio": "LL-Q150 (fra)-WikiLucas00-quantificateur existentiel.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/d/d8/LL-Q150_(fra)-WikiLucas00-quantificateur_existentiel.wav/LL-Q150_(fra)-WikiLucas00-quantificateur_existentiel.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/d/d8/LL-Q150_(fra)-WikiLucas00-quantificateur_existentiel.wav/LL-Q150_(fra)-WikiLucas00-quantificateur_existentiel.wav.ogg",
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-quantificateur existentiel.wav"
    },
    {
      "audio": "LL-Q150 (fra)-Guilhelma-quantificateur existentiel.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/8/8c/LL-Q150_(fra)-Guilhelma-quantificateur_existentiel.wav/LL-Q150_(fra)-Guilhelma-quantificateur_existentiel.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/8/8c/LL-Q150_(fra)-Guilhelma-quantificateur_existentiel.wav/LL-Q150_(fra)-Guilhelma-quantificateur_existentiel.wav.ogg",
      "raw_tags": [
        "Cesseras (France)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-quantificateur existentiel.wav"
    }
  ],
  "tags": [
    "masculine"
  ],
  "translations": [
    {
      "lang": "Allemand",
      "lang_code": "de",
      "sense": "Opérateur indiquant qu’un prédicat est vrai pour au moins un élément",
      "sense_index": 1,
      "tags": [
        "masculine"
      ],
      "word": "Existenzquantor"
    },
    {
      "lang": "Anglais",
      "lang_code": "en",
      "sense": "Opérateur indiquant qu’un prédicat est vrai pour au moins un élément",
      "sense_index": 1,
      "word": "existential quantifier"
    },
    {
      "lang": "Croate",
      "lang_code": "hr",
      "sense": "Opérateur indiquant qu’un prédicat est vrai pour au moins un élément",
      "sense_index": 1,
      "word": "egzistencijalna kvantifikacija"
    },
    {
      "lang": "Japonais",
      "lang_code": "ja",
      "roman": "sonzai ryōkashi",
      "sense": "Opérateur indiquant qu’un prédicat est vrai pour au moins un élément",
      "sense_index": 1,
      "word": "存在量化子"
    },
    {
      "lang": "Russe",
      "lang_code": "ru",
      "sense": "Opérateur indiquant qu’un prédicat est vrai pour au moins un élément",
      "sense_index": 1,
      "tags": [
        "masculine"
      ],
      "word": "квантор существования"
    }
  ],
  "word": "quantificateur existentiel"
}

Download raw JSONL data for quantificateur existentiel meaning in Français (3.8kB)


This page is a part of the kaikki.org machine-readable Français dictionary. This dictionary is based on structured data extracted on 2025-01-07 from the frwiktionary dump dated 2025-01-01 using wiktextract (9a96ef4 and 4ed51a5). 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.