bi-implication
« bi-implication » comme forme 1 analyse
| lemme | catégorie | analyse | prononciation | fréq. |
|---|---|---|---|---|
| bi-implication | nom commun | singulier féminin | bj ‿ ɛ̃.pli.ka.sjɔ̃[n] |
Formes, analyses, prononciation et fréquences : base LeXiK (C, etendu). 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.
bi-implication nom commun · féminin niveau étendu
pluriel : bi-implications
2 formes bi-implication, bi-implications
- bi-implication bj ‿ ɛ̃.pli.ka.sjɔ̃[n] singulier féminin
- bi-implications bj ‿ ɛ̃.pli.ka.sjɔ̃[z] pluriel féminin
nom commun · féminin
Étymologie. Emprunt à l’anglais.
-
logique
rare
Connecteur binaire (↔ ou ⇔) qui, à partir de deux formules, forme une troisième formule ; cette troisième formule.
- L’équivalence est une relation entre formules tandis que la bi-implication est un connecteur (binaire) qui à partir de deux formules forme une nouvelle formule. — Thierry Lucas, Isabelle Berlanger, Isabelle De Greef, Initiation à la logique formelle...
- Lorsqu’une bi-implication est tautologique, on dit, dans le métalangage, que les deux membres de la bi-implication sont équivalents, ce qui revient à dire que ces deux membres prennent, pour toute interprétation des lettres de propositions la même valeur de vérité. — Rudiments de logique propositionnelle, site www.ifac.univ-nantes.fr
- L’autre connecteur s’appelle bi-implication et peut se paraphraser par « on n’a pas A sans B et on n’a pas B sans A ». On le note « <=> ». — Guy Politzer, La logique, le langage et les variétés du raisonnement, page 13
- synonymes
- équivalence
- dérivés
- bi-impliquer
Source : « bi-implication », Wiktionnaire, section nom commun (CC BY-SA 3.0).
Aucune entité Wikidata ne porte ce nom.