La Lógica tiene un lenguaje exacto. Pero aunque así sea, vamos a intentar construir un vocabulario para este lenguaje preciso utilizando el lenguaje cotidiano algunas veces un tanto confuso. Es necesario redactar un conjunto de reglas que sean perfectamente claras y definidas y que estén libres de las vaguedades que pueden hallarse en nuestro lenguaje corriente. Para realizar este trabajo se utilizarán proposiciones en lengua castellana, de la misma manera que se usa la lengua castellana para explicar las reglas precisas de un juego a alguien que no ha jugado a ese juego. Por supuesto, la lógica es algo más que un juego. Puede ayudarnos a aprender una forma de razonar que es exacta y a la vez muy útil. Para empezar, consideremos las proposiciones en lengua castellana. Cada proposición tiene una forma lógica a la que se le dará un nombre. En primer lugar, se consideran y simbolizan dos clases de proposiciones en Lógica; unas se denominan proposiciones atómicas y otras proposiciones moleculares. En este siglo de la Ciencia se utiliza la palabra atómico muchas veces. Efectivamente, el significado de esta palabra en el lenguaje de la Lógica es análogo a su significado original en las Ciencias físicas. En Lógica, atómicas son las proposiciones de forma más simple (o más básicas). Si se juntan una o varias proposiciones atómicas con un término de enlace, se tiene una proposición molecular. Una proposición atómica es una proposición completa sin términos de enlace. Se utilizan términos de enlace para formar proposiciones moleculares a partir de proposiciones atómicas. Por ejemplo, considérense dos proposiciones atómicas, Hoy es sábado. No hay clase. 1 2 PRIMER CURSO DE LÓGICA MATEMATICA Ambas proposiciones son atómicas. Mediante un término de enlace se pueden unir y se tendrá una proposición molecular. Por ejemplo, se puede decir Hoy es sábado y no hay clase. Esta proposición molecular se ha construido con dos proposiciones atómicas y el término de enlace «y». Cuando analizamos una proposición molecular la descomponemos en las más pequeñas proposiciones atómicas completas. En el ejemplo anterior se puede descomponer la proposición molecular en dos proposiciones atómicas. El término de enlace «y» no forma parte de ninguna de las proposiciones atómicas. Se ha añadido a las proposiciones atómicas para construir una proposición molecular.
Subscribe by Email
Follow Updates Articles from This Blog via Email
No Comments