Les solveurs de preuves logiques, ou calculatrices logiques, sont des outils qui aident les individus à vérifier la validité de leurs prémisses et de leurs conclusions. Les preuves logiques sont une série numérotée de lettres et de symboles qui représentent symboliquement un argument.
Les calculatrices logiques peuvent simplement aider les étudiants à trouver des failles dans leurs preuves logiques, ou elles peuvent signaler des domaines spécifiques de raisonnement absurde. Le raisonnement logique consiste à présenter une série d'arguments qui démontrent que si une chose est vraie, une autre, à travers une série d'implications, doit également être vraie ou fausse. Les preuves logiques sont de nature semi-mathématique dans la mesure où elles attribuent un système spécifique de symboles représentatifs qui, comme une formule, produisent systématiquement le même résultat.
