En la publicación anterior vimos acerca de la lógica de predicados y su lenguaje formal. Ahora hablaremos acerca…