Es un termino de enlace de certeza funcional de manera que se puede decidir el valor de certeza de la proposición P & 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 solo si ambas proposiciones son ciertas.
Prueba de la Conjunción
Si P es cierta y Q es cierta, entonces P & Q es cierta Si P es cierta y Q es falsa, entonces P & Q es falsa Si P es falsa y Q es cierta, entonces P & Q es falsa Si P es falsa y Q es falsa, entonces P & Q es falsa
Este termino de enlace es de certeza funcional porque la certeza o falsedad de una negación depende enteramente de la certeza o la falsedad de la proposición que niega. REGLA PRACTICA: La negación de una proposición cierta es falsa y la negación de una proposición falsa es cierta.
EJEMPLO
Juan es hermano de luisa. Negación ~P La proposición P puede ser cierta o falsa.
Si la segunda proposición es cierta, entonces la primera proposición su negación ha de ser falsa.
Si la segunda proposición es falsa entonces la primera proposición ha de ser cierta.
Negación ~P La proposición P puede ser cierta o falsa.
Si P es cierta, entonces ~P es falsa.
Si P es falsa, entonces ~P es cierta.
EJERCICIOS:
A.indicar cuando P & ¬Qes cierta (C) o falsa (F) en cada uno de los siguientes casos:
Es un termino de enlace de certeza funcional en cualquier disyunción por lo menos si una de las dos proposiciones es cierta y quizá ambas se requiere que un miembro sea cierto .
REGLA PRACTICA: La disyunción de dos proposiciones es cierta si y sólo si por lo menos una de las dos proposiciones es cierta. EJERCICION: A. Indicar si P V Q en cada uno de los siguientes casos: 1.Si P es falsa pero Q es cierta 2.si P y Q son ambas ciertas. 3. si P es cierta y Q es falsa. 4.si P es falsa y Q es falsa. 5.si P y Q son ambas proposiciones falsas.
B.Indicar si ¬R V ¬ S es cierta (C) o falsa (F): 1. si R es cierta y S es cierta. 2.si R es falsa y S es cierta. 3.si R es cierta y S falsa. 4.si R es falsa y S es falsa. 5.si a la vez R y S son ciertas.