Operaciones autoformantes

Operaciones autoformantes /

Operaciones heteroformantes

Son características aspectuales de las operaciones.

Operaciones autoformantes: incluyen la reproducción o re-generación de al menos uno de los términos operados. [218]

Operaciones heteroformantes: no poseen tal característica.

Distinguimos tres modos en los cursos operatorios autoformantes:

i. El modo de autoformación modular (por ejemplo: a · 1 = a; a + 0 = a). La idempotencia es un aspecto autoformante de tipo modular.

ii. El modo de autoformación absorbente (a · 0 = 0).

iii. El modo de autoformación involutiva [- (-p) = p]. Cabría reducir la idempotencia a un caso de involución autoformante:

X · X = X · X + ? = X · X + X · X’ = X (X+X’) = X · 1 = X

La distinción entre operaciones autoformantes y heteroformantes ha sido propuesta como criterio para establecer una línea de demarcación entre la Lógica y la Matemática.

TCC 1388-1389 / ? BP07 16-39 / ? BP08 4-25