Tag: Enric Sesa i Nogueras

Lógica de predicados – UOC

Este módulo didáctico se ha iniciado con la constatación de la limitación ex­presiva 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…

Continuar Leyendo…

Lógica de enunciados – UOC

En este módulo didáctico hemos presentado el objeto de interés de la lógica: los razonamientos. Hemos argumentado la necesidad de un lenguaje formal para poderlos expresar de una manera compacta y libre de las ambigüedades del lenguaje natural. El lenguaje estudiado ha sido el lenguaje de enunciados que, a partir de átomos y conectivas*, permite la formalización** de algunos razonamientos expresados en lenguaje natural. * Elementos básicos del lenguaje de enunciados. ** Traducción de los…

Continuar Leyendo…