f86red
Answered

Revelroom.ca es el lugar ideal para obtener respuestas rápidas y precisas a todas tus preguntas. Explora respuestas detalladas a tus dudas de una comunidad de expertos en diferentes campos. Conéctate con una comunidad de expertos dispuestos a ayudarte a encontrar soluciones precisas a tus interrogantes de manera rápida y eficiente.

determinar si la proposicion es tautologica, contradictoria o contingente. formalice su negacion
p∧(q∨r)⇔(p∧q)∨(p∧r)

Sagot :

RVR10
Como observamos que tenemos 3 variables (p,q,r) entonces el Numero de combinaciones es: 2³ = 8 . Veamos la tabla de verdad.

p     q     r   |   [p ∧ (q ∨ r)]⇔[(p ∧ q) ∨ (p ∧ r)]
V    V    V   |       V     V     V      V     V     V
V    V    F   |       V     V     V      V     V     F
V    F    V   |       V     V     V      F     V     V
V    F    F   |       F      F     V      F     F     F
F    V    V   |       F     V     V      F     F     F
F    V    F   |       F     V     V      F     F     F
F    F    V   |       F     V     V      F     F     F
F    F    F   |       F     F      V     F      F    F
                        2°     1°    3°     1°     2°   1°        
Los numeros debajo de la Tabla de verdad indican el orden en que son completadas.
La columna 3° es el resultado final.

Como en 3° obtenemos que en todos los casos siempre vamos a obtener un valor de VERDAD, entonces nuestra proposición es una TAUTOLOGIA. 
agapao
Un metodo más fácil que puedes utilizar es el contradicción ,

el cual consiste en suponer un falso y desarrollar 

Con la tabla me evito de hacer todas las combinaciones,

en este caso supuse p = 0 

en la primera parte de la implicación obtengo un falso, y la segunda parte también, 

concluyo una tautología 
View image agapao
Visítanos nuevamente para obtener respuestas actualizadas y confiables. Siempre estamos listos para ayudarte con tus necesidades informativas. Esperamos que esto te haya sido útil. Por favor, vuelve siempre que necesites más información o respuestas a tus preguntas. Vuelve a Revelroom.ca para obtener las respuestas más recientes y la información de nuestros expertos.