next up previous contents
Next: 2.2 Uzataj simboloj Up: 2 Bazaj konceptoj Previous: 2 Bazaj konceptoj   Contents

2.1 Formaligo

Formaligi signifas skribi esprimon laŭ norma maniero, tiel ke iu ajn povas precize kompreni ĝin.

Uzonte logikajn algoritmojn, oni povas pensadi per longaj frazoj kiel ``Se pluvas kaj mi ne havas pluvombrelon, mi do malsekiĝos''. Eblas, ja, sed tio estas tro longa. Anstataŭe, estas pli bone esprimi ĉiun agon per unu litero, kaj uzi tiujn literojn kune de simplaj vortoj, nome kaj, , ne, aŭ do.

Jen ekzemplo. Posedante ĉi tiun vortoprovizon:

$L$: pluvi

$P$: havi kun si pluvombrelon

$M$: malsekiĝi

La frazon ``Se pluvas kaj mi ne havas pluvombrelon, mi do malsekiĝos'' oni povas skribi per ``se $L$ kaj ne $P$, do $M$''.

Ĉe natura dedukto, oni uzos nur la literan rimedon laŭ ĉi tiuj kondiĉoj:



Daniel Clemente Laboreo 2005-05-17