Este capítulo introduce un lenguaje lógico llamado QL. Es una versión de lógica cuantificada, porque permite cuantificadores como todos y algunos. La lógica cuantificada también se denomina a veces ló...Este capítulo introduce un lenguaje lógico llamado QL. Es una versión de lógica cuantificada, porque permite cuantificadores como todos y algunos. La lógica cuantificada también se denomina a veces lógica predicada, porque las unidades básicas del lenguaje son predicados y términos.