Per diversos motius:
- Hi ha un buit important en buscar ``deducció natural''
al Google. Jo mateix vaig necessitar estudiar-ho abans de l'examen
i no vaig trobar res útil que em pogués ajudar. El mateix amb natural
deduction o nd: hi havia alguns tutorials, però cap ben fet:
o no s'entenia, o tenia alguns caràcters especials que no es veien
bé, o donaven tot per entès. Així que vaig proposar-me aportar aquest
tutorial que segur que ajudarà a algú.
- És un tema que m'agrada i que se'm dóna bé.
- Fa pensar. Potser no té una gran utilitat pràctica, però realment
fa falta esforçar-se i passar-hi molta estona per resoldre alguns
problemes molt simples.
- Bé, confesso que ho vaig escriure per aprendre a processar textos
amb LATEX. Costa bastant d'aprendre, però els resultats fan que
valgui la pena.
Daniel Clemente Laboreo
2005-05-17
