Solverii de logică, sau calculatoarele logice, sunt instrumente care ajută persoanele să verifice valabilitatea premizelor și concluziile lor. Dovezile logice sunt o serie numerică de litere și simboluri care reprezintă simbolic un argument.
Calculatoarele logice pot pur și simplu ajuta studenții să găsească defecte în dovezile lor logice sau pot arăta domenii specifice de raționament lipsit de sens. Argumentarea logică presupune prezentarea unei serii de argumente care demonstrează că, dacă un lucru este adevărat, atunci altul, printr-o serie de implicații, trebuie să fie, de asemenea, adevărat sau neadevărat. Dovezile logice sunt de natură semi-matematică prin faptul că atribuie un sistem specific de simboluri reprezentative care, ca o formulă, produc în mod constant același rezultat.
