La logique floue est une forme de logique à plusieurs valeurs dérivée de la théorie floue pour traiter d'un raisonnement qui est fluide ou approximatif plutôt que fixe et exact. Contrairement à la "logique croustillante", où les ensembles binaires ont une logique à deux valeurs, les variables logiques floues peuvent avoir une valeur de vérité qui varie entre 0 et 1.
La logique floue est une sorte de logique informatique qui est différente de l'algèbre booléenne.