WiKiLeXiK

satisfiabilité

lemme
  • nom commun féminin
forme
  • phonétique /sa.tis.fja.bi.li.te/
  • orthocode sa.tis.fia.bi.li.té
  • voir aussi synonymes · rimes

Prononciation et analyses de « satisfiabilité » 1 analyse

lemmecatégorieanalyseprononciationfréq.
satisfiabilité nom commun singulier féminin sa.tis.fja.bi.li.te

Formes, analyses, prononciation et fréquences : base LeXiK (B, noyau). Fréquences en occurrences par million de mots (sous-titres) ; la fréquence d'une analyse est la part de cette analyse dans les corpus étiquetés, celle d'un lemme la somme de ses analyses.

Définitions de « satisfiabilité » nom commun · féminin

pluriel : satisfiabilités

Formes de « satisfiabilité » 2 : satisfiabilité, satisfiabilités
  • satisfiabilité sa.tis.fja.bi.li.te singulier féminin
  • satisfiabilités sa.tis.fja.bi.li.te[z] pluriel féminin

nom commun · féminin

  1. logique En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie.
    • Le problème de la décision de la satisfiabilité d’une forme normale disjonctive admet une réponse qui peut être obtenue très simplement. — Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot, Pascal Manoury, Isabelle...
synonymes
satisfaisabilité

Source : « satisfiabilité », Wiktionnaire, section nom commun (CC BY-SA 3.0).

Entités nommées « satisfiabilité » 1

toutes (1) concept (1)

entité A→Ztype notoriété (mondiale) popularité (fr)
problème de satisfiabilité de circuit concept 4

Entités : Wikidata (CC0) ; sélection et classement : Lectura.