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:
LINKS DE DESCARGA:
OneDrive
EnlaceDirecto

personas han descargado este documento

Review Overview

User Rating: No Ratings Yet !

Te puede interesar:

Historia de la filosofía sin temor ni temblor PDF Gratis Fernando Savater

Historia de la filosofía sin temor ni temblor PDF Gratis Fernando Savater

Descargar Historia de la filosofía sin temor ni temblor PDF Gratis Fernando Savater Historia de …

Deja un comentario

Tu dirección de correo electrónico no será publicada.

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.