Este módulo didáctico se ha iniciado con la constatación de la limitación expresiva del lenguaje de la lógica de enunciados. Esta limitación es paliada por el lenguaje de fórmulas, del cual el de enunciados es un subconjunto. Hemos presentado los elementos básicos de este nuevo lenguaje: los predicados, los términos -variables y constantes- y los cuantificadores. Y también la forma que tienen de relacionarse entre sí. Inmediatamente después, el lenguaje de fórmulas se ha puesto...
↧