, pero esto y cosas peores pueden ocurrir en contextos 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
LIN:065.04
INTRODUCIR - Hacer entrar, meter o poner una cosa en el interior de otra o entre varias