PUERTA | PUERTA CS 1999 | Pregunta 62

[Pregunta de 5 puntos]

una. Demuestra que la fórmula [(~p ∨ q) ⇒ (q⇒ p)] no es una tautología.

b. Sea A una tautología y B cualquier otra fórmula. Demostrar que (A ∨ B) es una tautología.

 

Respuesta:
Explicación:
Cuestionario de esta pregunta
. Comente a continuación si encuentra algo incorrecto en la publicación anterior.

Publicación traducida automáticamente

Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *