Los conectores lógicos representan operaciones que influyen en el valor de verdad de las proposiciones, para comprenderlos de mejor manera, siendo P = Verdadero y Q= Falso; se presentan las pautas que las rigen:
- Negación: ̴
El valor de verdad de ̴ p = Falso.
El valor de verdad de ̴ q = Verdadero.
- Conjunción ∧:
Es verdadero sólo si ambas proposiciones son verdaderas.
- Disyunción V :
Es falso sólo si ambas proposiciones son falsas.
- Condicionante → :
Es falso solo si la primera proposición es verdadera y la segunda es falsa.
- Bicondicional ↔:
Es verdadera sólo si ambas proposiciones tienen el mismo valor de verdad.
En resumen:
La tabla de verdad que previamente hemos realizado nos indica todas las posibilidades que hay para combinar proposiciones dependiendo de si estas son verdaderas o falsas.
ResponderEliminar