Dans la logique mathématique, la logique prédictive est le terme générique des systèmes formels symboliques comme la logique du premier ordre, la logique du deuxième ordre, la logique à plusieurs points ou la logique infinie.
La logique prédictive est un système de logique mathématique.