I risolutori di logica, o calcolatori logici, sono strumenti che aiutano le persone a verificare la validità delle loro premesse e conclusioni. Le prove logiche sono una serie numerata di lettere e simboli che rappresentano simbolicamente un argomento.
I calcolatori logici possono semplicemente aiutare gli studenti a trovare difetti nelle prove logiche, oppure possono indicare aree specifiche di ragionamento senza senso. Il ragionamento logico implica la presentazione di una serie di argomenti che dimostrano che se una cosa è vera, allora un'altra, attraverso una serie di implicazioni, deve anche essere vera o non vera. Le prove logiche sono di natura semi-matematica in quanto assegnano uno specifico sistema di simboli rappresentativi che, come una formula, produce costantemente lo stesso risultato.
