abiertos. La teoría implicativa del significado o, mejor dicho, de parte de éste, fue construida para ser aplicada estrictamente sólo a los lenguajes exactos. En éstos no está permitido introducir nombres y predicados una vez que se han introducido los básicos (primitivos); por consiguiente, en tales contextos cerrados el principio lógico de adición («Si p, entonces p o q») no podrá hacer líos. Analogía: la geometría elemental se aplica exactamente sólo a objetos
LIN:065.05
INTRODUCIR - Hacer entrar, meter o poner una cosa en el interior de otra o entre varias