Por ejemplo, en lógica simbólica y lógica matemática, las pruebas de los seres humanos pueden ser asistidos por computadoras.