Documentos de Académico
Documentos de Profesional
Documentos de Cultura
PRESENTADO POR:
OSWALDO VEGA CARMONA
________________
______________
SEMESTRE VIII
La tabla de verdad o tabla de valores de verdad, el cual es una tabla que muestra
OBJETIVO GENERAL
OBJETIVOS ESPECIFICO
Demostrar a través de tablas de verdad los diferentes valores de certeza de
una proposición dada.
Las tablas de verdad son, por una parte, uno de los métodos más sencillos y
conocidos de la lógica formal, pero al mismo tiempo también uno de los más
poderosos y claros.
Entender bien las tablas de verdad es, en gran medida, entender bien a la lógica
formal misma.
Fue desarrollado por Charles Peirce por los años 1880, pero el formato más
popular es el que introdujo Ludwig Wittgenstein en su tractatus lógico-
philosophicus, publicado en 1921. La tabla de los valores de verdad, es usada en
el ámbito de la lógica, para obtener la verdad (v) o falsedad (f) valores de verdad,
de una expresión o de una proposición. Además, sirven para determinar si es que
un determinado esquema de inferencia es formalmente valido como un argumento
llegado a la conclusión de que este es una tautología "se habla de una tautología
cuando todos los valores de la tabla mencionada son (v) o sea verdaderos".
La función es creciente y está definida para los números positivos, utilizamos Para
que la conjunción p^q sea verdadera las dos expresiones que intervienen deben
ser verdaderas y sólo en ese caso como se indica por su tabla de verdad.
¿QUE ES LA TAUTOLOGÍA?
Las últimas dos líneas señalan que no importa cuál sea el valor de verdad de uno
de los disyuntos, siempre que el otro sea falso, la conjunción será falsa. La ventaja
de este tipo de tablas es que permiten extenderse de manera muy natural para
permitir un tercer valor de verdad que no sea ni verdadera ni falso. Será llamado
“I” por “indeterminado”. Ahora se puede usar la tabla abreviada de la disyunción
clásica para desarrollar una tabla de verdad (no abreviada) para la disyunción
trivalente.
Tercer paso: Cómo la última línea de la tabla abreviada es también la última línea
de la nueva tabla, le corresponde el mismo valor de verdad: falso.
Disyunción trivalente
Cuarto paso: Finalmente, cómo ya están los renglones que son verdaderos o
falsos según la tabla original, los renglones que aún no tienen valor de verdad,
dado que no son ni verdaderos (sino hubieran quedado como tales en el segundo
paso) ni falsos (ya que tampoco quedaron así en el tercer paso), deben ser
indeterminados.