Introducción a la lógica matemática - Cap. 1 Simbolización de proposiciones
Simbolización de proposiciones Para poder simbolizar proposiciones en Lógica es preciso saber distinguir las partes lógicas de estas proposiciones. Una proposición molecular esta formada por una proposición atómica más un termino de enlace, por lo menos. Una proposición atómica es aquella que no se posee ningún termino de enlace. <<Términos de enlace de proposiciones>> (o simplemente <<términos de enlace>> ) es el nombre que en Lógica se da a términos tales como <<a la vez... y...>> , <<o... o...>> , <<si... entonces...>> y <<no>> que se utilizan para formar proposiciones moleculares a partir de proposiciones atómicas. De los 4 términos de enlace indicados <<y>> , <<o>> , y <<si... entonces...>> ligan o actúan sobre dos proposiciones a la vez, mientras que el termino de enlace <<no>> actúa sobre una. Una proposición molecular formada utilizan