next up previous contents
Next: 3.3 Agmaniero Up: 3 Natura dedukto Previous: 3.1 Por kio ĝi   Contents

3.2 Por kio ĝi malutilas

Ĝi ne estas por pruvi la nevalidecon de iu supozo. Se mi asertas ``se matene, ne estas nokte; nun estas matene, do estas ankaŭ nokte'' vi eble provados longtempe la regulojn de natura dedukto, sed renkontos nenian utilaĵon. Plej eble vi intuos ke la rezonado ne estas valida, kaj nur tiam, oni devos provi aliajn rimedojn -ne natura dedukto- por celi pruvi nevalidecon. Kelkaj el ili estas klarigotaj poste.

Do, natura dedukto nur utilas por pruvi validecon, sed ne nevalidecon. Bedaŭrinde, ĉu ne?

Nek ĝi estas rimedo por solvi la demandon ``Kio okazus se...?''. Kiam la valideco de $A\vdash B$ estu pruvata, oni devas pensi pri ĉio kio okazus se $A$ certus, kaj se oni eltrovas ke unu el tiuj aĵoj estas $B$, oni jam finis. Tamen, estas neeble doni finotan liston kun ĉiuj el ili.



Daniel Clemente Laboreo 2005-05-17