1.2 Kial mi verkas ĉi tion

Jen pluraj kialoj:

• Ekzistas grava manko en la serĉo ``natura dedukto'' ĉe Google. Mi mem bezonis lerni tion antaŭ la ekzameno sed trovis nenion utilan kio povus helpi min. Same per natural deduction aŭ nd: kvankam troviĝis kelkaj kursetoj, neniu estis sufiĉe bona: ĉu estis miskomprenebla, ĉu iaj specialaj literoj malmontriĝis, ĉu ĝi ne eldiris ĉion (kvazaŭ se iu ajn jam konus logikan rezonadon). Do mi celis aldoni ĉi tiun kurson, kiu eble helpos iun.
• Estas temo ŝatata de mi, kaj facila laŭ mia opinio.
• Devigas pensi. Eble ĝi ne havas utilegan uzeblecon, sed oni vere penu por solvi kelkajn simplajn, klopodindajn ekzercojn.
• Nu, mi konfesas ke tio estis verkata por lerni skribi dokumentojn per L^ATEX. Ties lernado ne estas facila, sed rezultoj igas la taskon farinda.
• Krome, la Esperantan tradukon mi faris por praktiki la lingvon. Ĉi tiu estas mia unua verko, do bonvolu korekti min! Mi ankaŭ aldonis aranĝon de teknikaj vortoj pri logiko kun la plej strangajn vortojn mi uzis.