Ir al contenido

Usuario:Fercho/ejercicio 19

De Wikilibros, la colección de libros de texto de contenido libre.

¿Es válida P(x) → (P(x) v Q(x))? Razone su respuesta.


SOLUCION


Tenemos la expresión P(x) → (P(x) v Q(x)), en la cual podemos aplicar las leyes del algebra declarativa:


Archivo:Pensamiento algorítmico ejercicio19).jpg


Por lo tanto la expresión P(x) → (P(x) v Q(x)) es válida.