LÓGICA PROPOSICIONAL "TABLAS DE VERDAD"

 LÓGICA PROPOSICIONAL "TABLAS DE VERDAD"

La Lógica examina la validez de los argumentos en términos de su estructura, (estructura Lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión puede dar lugar a la inferencia y la deducción; tradicionalmente ha sido considerada como una parte de la Filosofía, pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica Matemática. En el siglo XX la Lógica ha pasado a ser principalmente como la Lógica simbólica representada por un cálculo definido, por unos símbolos y unas reglas de inferencia; Lo que ha permitido un campo de aplicación fundamental en el diseño y construcción de artefactos tecnológicos y en la actualidad con la Informática. En este sentido la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos.

Estas preposiciones complejas dan origen a las tablas de verdad; una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes. Considérese dos proposiciones p y q, cada una puede tomar uno de dos valores de verdad: o V (verdadero), o F (falso). Por lo tanto, los valores de verdad de p y q pueden combinarse de cuatro maneras distintas.

Actividad a realizar

1.Toma nota de la información que te presentamos en este blog.

2.Escribe 5 proposiciones simples.

3.Escribe 5 proposiciones simples con negación.

4.Escribe 5 proposiciones compuestas con conjunción

5.Escribe 5 proposiciones compuestas con disyunción.