L'implication logique est une opération binaire qui a donc deux arguments : l'argument de gauche est l’impliquant et l'argument de droite est l’impliqué.
La virgule flottante est une méthode d'écriture de nombres fréquemment utilisée dans les ordinateurs, équivalente à la notation scientifique en numération binaire.