Libros y Solucionarios Más Descargados
Inicio » Literatura » Lógica de enunciados – UOC

Lógica de enunciados – UOC

Lógica de enunciados – UOC en PDF

Lógica de enunciados – UOC

Lógica de enunciados – UOC

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 razonamientos al lenguaje de enunciados.

Posteriormente, hemos definido el concepto de razonamiento correcto y hemos estudiado la deducción natural y sus reglas como método para deci­dir si un razonamiento es correcto. La deducción natural también permite definir otros conceptos importantes como la equivalencia deductiva* y los teoremas**.

* Se puede entender como la igualdad de los enunciados.
** Los enunciados válidos en cualquier circunstancia.

Dado que la deducción natural es un método de validación, pero no de refu­tación*, hemos introducido las tablas de verdad como método para encon­trar contraejemplos que muestren situaciones que pongan de manifiesto la invalidez de un razonamiento.

* Refutar quiere decir demostrar la invalidez.

El estudio del álgebra de los enunciados (un álgebra de Boole) nos ha per­mitido definir las formas normales conjuntiva y disyuntiva. Esta última es de especial importancia a la hora de aplicar el método de resolución.

Y, finalmente, hemos estudiado el método de resolución, concebido para me­canizar de una manera simple los procesos de validación y refutación de razo­namientos.

Título: Lógica de enunciados
Autor: UOC
Tipo: Libro
Idioma: Español
Formato: PDF

LINK DE DESCARGA:
Comparte Nuestros Libros!
Facebook
Twitter
Google +
Youtube
Correo
Lógica de enunciados – UOC en PDF 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 razonamientos al lenguaje de enunciados.…

Review Overview

User Rating: Be the first one !
0

Deja un Comentario

Tu dirección de email no será publicada.