Quedaba el tercer esquema existencial propuesto para mostrar su validez. Era el siguiente:
[∃(FG) v ∃(FH)] ⊃ ∃[F.(G v H)]
Aquí bastará simplemente con modificar el consecuente en virtud de la distributividad de la conjunción en la disyunción, resultando:
∃(FG v FH) ⊃ ∃(FG v FH)
que es válido.
No hay comentarios:
Publicar un comentario