2. 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 sencillezdel algoritmo, aparecen dos dificultades.
La gran cantidad de operaciones que hay que hacer para una
proposicióncon 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 esquemade inferencia, o
argumento cuando la proposicióncondicionada,como conclusión,sea
previamente conocida,al menos como
hipótesis,hasta comprobarque su tabla de verdad manifiesta una
tautología.
Por ello se construye un cálculo mediante cadenas deductivas:
3. Las proposiciones que constituyen el antecedente del esquemade
inferencia, se toman como premisas de un argumento.
Se establecencomo 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 establecenalgunas leyes como principios o
axiomas, el cálculo se dice que es axiomático.
http://www.mitecnologico.com/Main/TablasDeVerdad#sthash.iTAL7AP9.dpuf
4. OPINION PERSONAL:
QUE ES ESTO? AUNQU EL TEMA SUENE DIFICIL EINCOMPRENDIBLE
ALMENOS PORMI HASTA AHORA POR LO QUE ENTENDI UNA TABLA DE
VERDAD NO ES MAS QUE OTRA RAMA DE LA PROGRAMACIONQUE LLEVA DE
LA MANO LOS ALGORIDMOS PERO QUE ENREALIDAD CONTIENENTODA LA
LÓGICA Y EN ELLAS SE NOS MANIFESTA TODO LO QUEIMPLICANLAS
RELACIONES SINTÁCTICAS ENTRELAS DIVERSAS PROPOSICIONES