Next: 9 Exemples, molts exemples Up: 8 Extra Previous: 8.5 Fes-te els teus Contents
Hi ha algun programa d'ordinador que faci tot això que explico, però sense que hagis de pensar o treballar per res? Bé, la veritat és que no ho sé; jo no en conec cap. Tots els exemples que hi ha aquí els he fet a mà.
Pots provar a fer funcionar coses com seqprover o pandora. Jo no ho he aconseguit, i el poc que he trobat està a mitges o són només projectes. Suposo que aquest tipus de programa deu costar molt de fer, per això de que la deducció és natural (és més apropiada per a cervells humans). Encara que els ordinadors poden aplicar força bruta...
El que sí que pots provar i va bé és un joc semblant al dòmino que serveix per demostrar seqüents mitjançant peces de colors. Requereix una mica d'aprenentatge.