NOTACIONES Y CONECTIVOS LOGICOS
A las proposiciones simples (también llamadas atómicas) se
acostumbran denotar con letras minúsculas:
A partir de proposiciones simples se pueden generar otras
proposiciones simples o compuestas utilizando ciertas constantes
proposicionales llamados conectivos lógicos y si la proposición es
falsa pasaría a ser verdadera.
La conjunción de dos proposiciones, p y q, a la proposición que se
obtiene uniéndolas por medio del conectivo “y”. Se escribe “p∧q”
y se lee “p y q” Esta operación proposicional exige que ambas
proposiciones utilizadas sean verdaderas para que la proposición
final sea verdadera, en caso contrario, para todas las demás
combinaciones tendría como resultado un valor de verdad de “F”
(falso).
La disyunción de dos proposiciones, p y q, a la proposición que
se obtiene uniéndolas mediante el conectivo “o”. Se escribe “p v
q” y se lee “p o q”. Esta operación proposicional exige que al
menos una de las proposiciones tenga un valor de verdad de “V”,
es decir, solo se considerara falsa (“F”) cuando ambas
proposiciones utilizadas tengan un valor de verdad de “F”.
La implicación condicional de dos proposiciones, p y q, a la
proposición que se obtiene uniéndolas por medio del conectivo
“si…entonces”, se escribe “p → q” y se lee “p entonces q”.
En este esquema, llamaríamos a la proposición “p” antecedente y
a la proposición “q” consecuente. La implicación de dos
proposiciones tendría un valor de verdad de “F” solo en el caso de
que el antecedente sea verdadero y el consecuente sea falso, para
todas las demás combinaciones tendría un valor de verdad de “V”.
La doble implicación o bicondicional de dos proposiciones, p y q,
a la proposición que se obtiene uniéndolas por medio del
conectivo “…si y solo si…” se escribe p ↔ q y se lee “p si y solo
si q”. Esta operación proposicional exige que ambas
proposiciones tengan el mismo valor de verdad para que sea
considerada como verdadera, es decir, ambas tienen que ser
verdaderas, o ambas tienen que ser falsas, en caso contrario, la
proposición final sería falsa.
La disyunción exclusiva de dos proposiciones, p y q, a la
proposición que se obtiene uniéndolas mediante el conectivo “o”
excluyente, se escribe “p v q” y se lee “p o q” en sentido
excluyente. Esta operación proposicional exige que ambas
proposiciones tengan un valor de verdad diferente, es decir si una
es falsa y la otra es verdadera, o viceversa, la proposición tendría
un valor de verdad de “V”, caso contrario sería falsa (“F”).
Es totalmente a la operación proposicional de doble implicación o
bicondicional.