Inferencia en lógica de predicados

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.. Jordan Lluch, C. (2021). Inferencia en lógica de predicados. Universitat Politècnica de València. https://riunet.upv.es/handle/10251/168341 DER