Logica:tablas de verdad

INTRODUCCIÓN:

Un método sencillo de analizar los valores de certeza de proposiciones, es el de poner todas las posibilidades de certeza o falsedad en forma de una tabla. Todas las reglas de certeza funcional que se utilizan para proposiciones moleculares pueden resumirse en forma de tabla. Las tablas básicas de certeza indican si una proposición molecular es cierta o falsa si se conocen losvalores de certeza o falsedad de las proposiciones que la forman.

Notaremos con f el valor de verdad falso de una proposición, y con v el valor de verdad verdadero de una proposición.

Fundamentalmente en las tablas de verdad se colocan los valores de verdad de enunciados simples, es decir aquellos que no han sido enlazados en fórmulas complejas por medio de conectivas lógicas.
En las tablasde verdad se pretende enlazar dichos enunciados simples, por medio de conectivas lógicas, para formar enunciados compuestos, y correlativamente decir cuál es el valor de verdad resultante de dichos enunciados, como una función de los valores de verdad posibles de los enunciados simples.












Tema: TABLAS DE VERDAD

OBJETIVOS:

OBJETIVO GENERAL:
• Determinar y comprenderlo que significa una tabla de verdad, mediante el análisis de los valores de certeza de proposiciones, colocando las posibilidades de certeza o falsedad en forma de una tabla.


OBJETIVOS ESPECIFICOS:

• Demostrar a través de tablas de verdad los diferentes valores de certeza de una proposición.

• Comprender algunas reglas que nos servirán para la construcción de una tabla de verdad.

•Conocer las diversas propiedades necesarias para la aplicación y elaboración de una tabla de verdad.



1.- TABLAS DE VERDAD
1.1- DEFINICIÓN:

Las tablas de verdad son una expresión grafica de todos los valores de verdad que puede tener un enunciado extensional.
Los valores de verdad son las 2 propiedades que puede tener cualquier enunciado y consisten en dicho enunciado y consisten enque dicho enunciado: o es verdadero o es falso; pero no ambas cosas. De modo que los valores de verdad son dos: el valor verdad y el valor falsedad, a los cuales simbolizamos con las letras “v” y “f”
Un enunciado es extensional cuando el valor de verdad de una proposición molecular depende únicamente del valor de verdad de sus enunciados simples y del conectivo que enlaza a dichos enunciadossimples. Ejemplo el valor veritativo del enunciado molecular “no tengo hambre” depende únicamente del valor de verdad de “tengo hambre”. (Si esta es falsa, aquella es verdadera; si esta es verdadera, aquella es falsa . por lo tanto el enunciado molecular y la conectiva “no” son de carácter extensional.
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de unaproposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.1
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
La tabla de valores de verdad, es una herramienta desarrollada por Charles Peirce en 1880
Se empleanen lógica para determinar los posibles valores de verdad de una expresión o proposición. O si un esquema de inferencia, como argumento, es formalmente válido mostrando que, efectivamente, es una tautología.



1.2.- COMO ELABORAR UNA TABLA DE VERDAD
Para la correcta construcción de las tablas de verdad, debemos tener presentes los siguientes pasos:
1.- Recuerda que una proposición oenunciado simple solamente tiene dos posibilidades: el ser verdaderas o el ser falsas por ejemplo: “el cielo es azul”; este enunciado solo puede ser verdadero (V) o falso (F) y no existe en la lógica una tercera posibilidad.

P Q [p˄q) ˄p]
V V
V F
F V
F F





2.- Si una proposición compuesta encontramos dos proposiciones simples, por ejemplo: p y q, y elaboramos una tabla de...