Sintesis
Sintesis
Sintesis
bicondicional
Se empezará con la idea de que cada proposición ha de tener un valor de certeza; cada
proposición ha de ser cierta o falsa. El valor de certeza de una proposición cierta es cierto, y el
valor de certeza de una proposición falsa es falso.
Conjunción
“y” es un conector lógico de certeza funcional, de manera que se puede decidir el valor de certeza
de la proposición P y Q si se conocen los valores de certeza de la proposición P y de la proposición
Q. La conjunción de dos proposiciones es cierta si y sólo si ambas proposiciones son ciertas. Por
tanto, si P y Q ha de ser una proposición cierta, entonces P ha de ser cierta y Q ha de ser cierta.
P es cierta y Q es cierta.
P es cierta y Q es falsa.
P es falsa y Q es cierta.
P es falsa y Q es falsa.
La regla práctica para conjunciones es: “La conjunción de dos proposiciones es cierta si y sólo
si ambas proposiciones son ciertas”. Así se concluye:
El conector lógico “no” es de certeza funcional porque la certeza o falsedad de una negación
depende enteramente de la certeza o falsedad de la proposición que niega. La regla práctica es:
“La negación de una proposición cierta es falsa y la negación de una proposición falsa es cierta”.
Tratemos de la negación ¬ P. La proposición P puede ser cierta o falsa. Los valores de certeza
posibles para la negación ¬ P son:
Disyunción
El conector lógico “o” es también un término de certeza funcional. Pero al considerar la certeza o
falsedad de cada disyunción se ha de tener en cuenta que se ha utilizado el sentido incluyente de
la palabra “o”. Esto significa que, en cualquier disyunción, por lo menos, una de las dos
proposiciones es cierta y quizá ambas.
O Antonio ganó una apuesta en las carreras o ganó una apuesta en fútbol.
Puesto que la disyunción liga dos proposiciones, también se tienen cuatro combinaciones posibles
de certeza o falsedad. Para la disyunción P V Q las cuatro posibilidades son, como en el caso de la
conjunción:
P es cierta y Q es cierta.
P es cierta y Q es falsa.
P es falsa y Q es cierta.
P es falsa y Q es falsa.
Proposiciones condicionales
P es cierta y Q es cierta.
P es cierta y Q es falsa.
P es falsa y Q es cierta.
P es falsa y Q es falsa.
Puesto que el valor de certeza de P → Q está determinado únicamente por la certeza o falsedad
de la sentencia P y de la sentencia Q, se pueden analizar sus valores de certeza de la manera
siguiente:
Se han considerado también proposiciones moleculares que contienen el conector lógico “si y sólo
si”. Estas proposiciones, los bicondicionales, se denominan también equivalencias.
La regla de uso quedará clara si se recuerda que una proposición bicondicional, o equivalencia, P
↔ Q tiene en esencia el mismo significado que dos condicionales, P → Q y Q → P.
La regla práctica para equivalencias es: “Una proposición condicional es cierta si y sólo si sus dos
miembros son ambos ciertos o ambos falsos”. De nuevo, puesto que la proposición bicondicional
contiene dos miembros que ambos pueden ser o ciertos o falsos, hay cuatro combinaciones
posibles de certeza o falsedad. Son:
P es cierta y Q es cierta.
P es cierta y Q es falsa.
P es falsa y Q es cierta.
P es falsa y Q es falsa.