Title: Sistemas lógicos. Ejercicios de aplicación