Inferencia en lógica de predicados

Jordan Lluch, Cristina; En este vídeo se presentan las leyes de inferencia en Lógica de predicados y el proceso a seguir para realizar dicha inferencia. Se propone un ejemplo que se analiza con todo detalle.. http://hdl.handle.net/10251/168341