lo que va contra la intuición. Es verdad, 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 éstosnoestápermitidointroducirnombresypredicados 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
LIN:065.04
INTRODUCIR - Hacer entrar, meter o poner una cosa en el interior de otra o entre varias