Rozwiązania logiczne lub kalkulatory logiczne to narzędzia, które pomagają jednostkom sprawdzać poprawność ich przesłanek i wniosków. Dowody logiczne są ponumerowanymi seriami liter i symboli symbolicznie reprezentujących argument.
Kalkulatory logiczne mogą po prostu pomagać uczniom w znajdowaniu wad w ich logicznych dowodach, lub mogą wskazywać określone obszary niedorzecznego rozumowania. Rozumowanie logiczne obejmuje przedstawienie szeregu argumentów, które dowodzą, że jeśli jedna rzecz jest prawdziwa, to inna, poprzez szereg implikacji, musi być również prawdziwa lub nieprawdziwa. Dowody logiczne mają charakter semi-matematyczny, ponieważ przypisują określony system reprezentatywnych symboli, które podobnie jak formuła konsekwentnie dają taki sam wynik.
