propocision

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 una proposición atómica más un términode 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 de enlace”) es el nombre que en Lógicase 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 cuatro términos de enlaceindicados, “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. Una proposición molecular formada utilizando elté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 molecular formada 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 en Lógica utilizar unos símbolos paraproposiciones 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 los términos de enlace terminan la forma de unaproposició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 puede sustituir P y Q por proposiciones escritascualesquiera. 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 significados. En lengua castellana, las...