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
Top Related