Template:Individual-TLP-paragraph-es-5.451: Difference between revisions

Si la lógica tiene conceptos fundamentales, entonces deben ser independientes entre ellos. Si se introduce un concepto fundamental, entonces debe ser introducido en todas las conexiones en las que puede ocurrir en cualquier caso. No se puede, pues, introducirlo primero para {{spaced text|una<!-- template:spaced text -->}} conexión, luego otra vez para alguna otra. Por ejemplo, si es introducida la negación, entonces debemos entenderla ahora en proposiciones de la forma «~''p''» igual que en proposiciones como «~(''p'' ∨ ''q'')», «(∃''x'') . ~''fx''», entre otras. No debemos introducirla primero para una clase de casos, entonces para la otra, pues entonces permanecería dudosa, si su significado en ambos casos fuera el mismo y no hubiera disponible ninguna razón para usar en ambos casos el mismo tipo de conexión de signos.

}}