Problema 14 Resolucion

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 2

14. Si ∼ [ ( ∽ p ∨ q ) ∨ ( r → q ) ] ∧[ ( ∽ p ∨q ) → ( q ∧∽ p ) ] es verdadera.

Hallar los valores de


verdad de p, q y r.

∼ [ ( ∽ p ∨ q ) ∨ ( r → q ) ] ∧ [ ( ∽ p∨ q ) → ( q ∧∽ p ) ] =V

Primera proposición: ∼ [ ( ∽ p ∨ q ) ∨ ( r → q ) ] = p 1

Segunda proposición: [ ( ∽ p∨ q ) → ( q ∧∽ p ) ] =q1

Para que todo el enunciado ∼ [ ( ∽ p ∨ q ) ∨ ( r → q ) ] ∧ [ ( ∽ p∨ q ) → ( q ∧∽ p ) ] sea verdadero,


nos fijamos que hay una conjunción ∧, que nos condiciona a las dos primeras condiciones.

Ya que p1 ∧ q1 es verdadero solo es los siguientes casos:

p1 q1 p1 ∧ q1
V V V
V F F
F V F
F F F
Entonces queda demostrado que para todo el enunciado
∼ [ ( ∽ p ∨ q ) ∨ ( r → q ) ] ∧ [ ( ∽ p∨ q ) → ( q ∧∽ p ) ] sea verdadero, ambas proposiciones p1 y q 1,
deben ser si o si verdaderas

Veamos la proposición p1:∼ [ ( ∽ p ∨ q ) ∨ ( r → q ) ] , tiene dos proposiciones más, que son:

Proposición 3: ( ∽ p ∨q )= p2 y la proposición 4: ( r → q )=q2 que tienen una relación de


disyunción conjuntiva ∨, que condiciona a estas proposiciones.

Ya que p2 ∨ q2 es verdadero solo en los siguientes casos:

p2 q2 p2 ∨ q2
V V V
V F V
F V V
F F F
Pero recordemos que delante de todo el enunciado ∼ [ ( ∽ p ∨ q ) ∨ ( r → q ) ] hay una negación,
entonces p2 ∨ q2 debe ser falso, para que con la negación se vuelva verdadero.

La proposición ( ∽ p ∨q )= p2 debe ser falsa. q siempre será falsa, mientras que p deberá ser
verdadera, para que con la negación sea falsa. Entonces p=V y q=F .

La proposición ( r → q )=q2debe ser falsa. La condicionalr → q es falsa solo cuando:

r❑ q❑ r →q
V V V
V F F
F V V
F F V
Notamos que q=F y r =V

Como nos damos cuenta ya hemos hallado los valores de p , q y r . Por lo cual solo queda
reemplazar para verificar si los valores son correctos. p=V , q=F y r=V
∼ [ ( ∽ p ∨ q ) ∨ ( r → q ) ] ∧ [ ( ∽ p∨ q ) → ( q ∧∽ p ) ]

∼ [ ( ∽V ∨ F ) ∨ ( V → F ) ] ∧ [ (∽ V ∨ F ) → ( F ∧∽V ) ]

∼ [( F ∨ F )∨ (F )] ∧[( F ∨ F )→ ( F ∧ F )]

∼ [ ( F ) ∨ ( F ) ] ∧ [ ( F ) →( F ) ]

∼[ F ]∧[V ]
V ∧[ V ]
V
Los valores hallados para p=V , q=F y r=V son correctos, ya que al reemplazar los valores
en la proposición inicial ∼ [ ( ∽ p ∨ q ) ∨ ( r → q ) ] ∧ [ ( ∽ p∨ q ) → ( q ∧∽ p ) ] , nos da como
resultado una proposición verdadera.

También podría gustarte