Question

6.Analizar la validez inferencia mostrada { [∼p ⇔(∼ q ⋁ r ) ] ⋀ ( r ⇒ s ) } ⇒ ( s ⇒ ∼p)

Answer 1

Haciendo unas modificaciones para realizar el análisis de manera mas sencilla, simplemente cambiando el nombre las variables:

 { [∼p ⇔(∼ q ⋁ r ) ] ⋀ ( r ⇒ s ) } ⇒ ( s ⇒ ∼p)

por 

((∼A→(∼B∨C))∧(C→D))→(D→∼A)

ademas de tomar los símbolos correctos de las preposiciones según la lógica proposicional

Se obtiene el siguiente análisis, adjunto la tabla de la verdad de dicho análisis

Answer 2

Respuesta:

{ [∼p ⇔(∼ q ⋁ r ) ] ⋀ ( r ⇒ s ) } ⇒ ( s ⇒ ∼p)

por  

((∼A→(∼B∨C))∧(C→D))→(D→∼A)

ademas de tomar los símbolos correctos de las preposiciones según la lógica proposicional

Se obtiene el siguiente análisis, adjunto la tabla de la verdad de dicho análisis

Explicación paso a paso: