yuceidy fariaz

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 está formada por unaproposición atómica más un término de enlace, por lo menos. Una proposición atómica es aquella que no posee ningún término de enlace. “Términos de enlace de proposiciones” (o simplemente “términos deenlace”) 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 proposicionesatómicas.
De los cuatro términos de enlace indicados, “y”, “o”, y “si… entonces…” ligan o actúan sobre dos proposiciones a la vez, mientras que el término de enlace “no” actúa sólo sobre una. Unaproposición molecular formada utilizando el término de enlace “y” es una “conjunción”, una proposición molecular formada utilizando el término de enlace “o” es una “disjunción”, una proposición molecularformada utilizando el término de enlace “no” es una “negación”, y una proposición molecular formada utilizando el término de enlace “si… entonces…” es una proposición “condicional”.
Es conveniente enLógica utilizar unos símbolos para proposiciones y otros para términos de enlace. Para proposiciones atómicas se usan letras mayúsculas tales como “P”, “Q”, “R”, “S”, y así sucesivamente. Puesto que lostérminos de enlace terminan la forma de una proposición en Lógica, se puede sustituir cada proposición atómica por otra cualquiera y la forma se conserva. Por ejemplo, en la proposición P&Q se puedesustituir P y Q por proposiciones escritas cualesquiera. Los símbolos utilizados para los términos de enlace, por otra parte, permanecen siempre los mismos; y son: & para conjunción, ⋁ para disjunción,¬ para negación, y ⟶ para la condición.
En proposiciones que tienen más de un término de enlace es preciso indicar la manera de agruparse, pues distintas agrupaciones pueden tener distintos...