Usuario:Fercho/ejercicio 19
Apariencia
¿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.