EDHIEL MEDINA TELLO

CETIS 109

PROGRAMACION 2AM

PROFESORA:

MARGARITA ROMERO ALVARADO

TABLAS DE VERDAD

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el

valor de verdad de una proposición

Compuesta, para cada combinación de valores de verdad que se pueda asignar a

sus componentes.

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

En realidad toda la lógica está contenida en las tablas de verdad, en ellas se nos manifiesta todo lo que implican

Las relaciones sintácticas entre las diversas proposiciones.

No obstante la sencillez del algoritmo, aparecen dos dificultades.

La gran cantidad de operaciones que hay que hacer para una proposición con más de 4 variables.

Esta dificultad ha sido magníficamente superada por la rapidez de los ordenadores, y no presenta dificultad alguna.

Que únicamente será aplicable a un esquema de inferencia, o argumento cuando la proposición condicionada, como conclusión, sea previamente conocida, al menos como

hipótesis, hasta comprobar que su tabla de verdad manifiesta una tautología.

Por ello se construye un cálculo mediante cadenas deductivas:

Las proposiciones que constituyen el antecedente del esquema de inferencia, se toman como premisas de un argumento.

Se establecen como reglas de cálculo algunas tautologías como tales leyes lógicas, (pues garantizan, por su carácter tautológico, el valor V).

Se permite la aplicación de dichas reglas como reglas de sustitución de fórmulas bien formadas en las relaciones que puedan establecerse entre dichas premisas.

Deduciendo mediante su aplicación, como teoremas, todas las conclusiones posibles que haya contenidas en las premisas.

Cuando en un cálculo se establecen algunas leyes como principios o axiomas, el cálculo se dice que es axiomático.

http://www.mitecnologico.com/Main/TablasDeVerdad#sthash.iTAL7AP9.dpuf

OPINION PERSONAL:

QUE ES ESTO? AUNQU EL TEMA SUENE DIFICIL E INCOMPRENDIBLE

ALMENOS POR MI HASTA AHORA POR LO QUE ENTENDI UNA TABLA DE

VERDAD NO ES MAS QUE OTRA RAMA DE LA PROGRAMACION QUE LLEVA DE

LA MANO LOS ALGORIDMOS PERO QUE EN REALIDAD CONTIENEN TODA LA

LÓGICA Y EN ELLAS SE NOS MANIFESTA TODO LO QUE IMPLICAN LAS

RELACIONES SINTÁCTICAS ENTRE LAS DIVERSAS PROPOSICIONES