"bi-implication" meaning in Anglais

{
  "categories": [
    {
      "kind": "other",
      "name": "Lemmes en anglais",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Noms communs en anglais",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Anglais",
      "orig": "anglais",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_texts": [
    "De bi- et implication."
  ],
  "forms": [
    {
      "form": "bi-implications",
      "tags": [
        "plural"
      ]
    }
  ],
  "lang": "Anglais",
  "lang_code": "en",
  "pos": "noun",
  "pos_title": "Nom commun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Exemples en anglais",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Exemples en anglais à traduire",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Lexique en anglais de la logique",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Termes rares en anglais",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "C. J. Date, Logic and Databases: The Roots of Relational Theory, Trafford Publishing, 2007, p. 57",
          "text": "Like implication as such, bi-implication is also one of the usual connectives"
        },
        {
          "ref": "Conditional Statements, ~ 2010",
          "text": "If p and q are propositions, then p ↔ q is called a biconditional statement (or bi-implication) and is read “p if, and only if, q”"
        },
        {
          "ref": "titre d’un fil de discussion sur le sitemath.stackexchange.com, 28 novembre 2013",
          "text": "Bi-implication theorem proving"
        }
      ],
      "glosses": [
        "Bi-implication."
      ],
      "id": "fr-bi-implication-en-noun-luTzz3ip",
      "tags": [
        "rare"
      ],
      "topics": [
        "logic"
      ]
    }
  ],
  "synonyms": [
    {
      "word": "biconditional"
    }
  ],
  "word": "bi-implication"
}

{
  "categories": [
    "Lemmes en anglais",
    "Noms communs en anglais",
    "anglais"
  ],
  "etymology_texts": [
    "De bi- et implication."
  ],
  "forms": [
    {
      "form": "bi-implications",
      "tags": [
        "plural"
      ]
    }
  ],
  "lang": "Anglais",
  "lang_code": "en",
  "pos": "noun",
  "pos_title": "Nom commun",
  "senses": [
    {
      "categories": [
        "Exemples en anglais",
        "Exemples en anglais à traduire",
        "Lexique en anglais de la logique",
        "Termes rares en anglais"
      ],
      "examples": [
        {
          "ref": "C. J. Date, Logic and Databases: The Roots of Relational Theory, Trafford Publishing, 2007, p. 57",
          "text": "Like implication as such, bi-implication is also one of the usual connectives"
        },
        {
          "ref": "Conditional Statements, ~ 2010",
          "text": "If p and q are propositions, then p ↔ q is called a biconditional statement (or bi-implication) and is read “p if, and only if, q”"
        },
        {
          "ref": "titre d’un fil de discussion sur le sitemath.stackexchange.com, 28 novembre 2013",
          "text": "Bi-implication theorem proving"
        }
      ],
      "glosses": [
        "Bi-implication."
      ],
      "tags": [
        "rare"
      ],
      "topics": [
        "logic"
      ]
    }
  ],
  "synonyms": [
    {
      "word": "biconditional"
    }
  ],
  "word": "bi-implication"
}