Trabajo de Logica


República Bolivariana de Venezuela
Universidad Nororiental Privada “Gran Mariscal de Ayacucho”
Núcleo: Guayana, Centro Cívico.
2do Semestre – Lógica S3











Integrantes
Lanz H. Zahyr E.C.I: 26.770.317
Lanz H. Zahyrali Y. C.I:



INTRODUCCION
Un método en general más conveniente que el diagrama para analizar los valores de certeza de proposiciones, es el de poner todas lasposibilidades de certeza o falsedad en forma de una tabla.
En efecto, todas las reglas de certeza funcional que se utilizan para proposiciones moleculares pueden resumirse en forma de tabla.
Estas tablas básicasde certeza indican rápidamente si una proposición molecular es cierta o falsa si se conoce la certeza de las proposiciones que la forman.

















Diagrama de Certeza
(Tabla de Certeza)

Fuedesarrollada 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.
Anteriormente seindicó que necesitábamos un método general de determinación de la validez por medio del cual pudiéramos estar seguros de la validez de cada regla de inferencia sugerida. Los diagramas o tablas decerteza proporcionan un método mecánico para comprobar la validez.
Se puede comprobar la valides de cualquier inferencia sin hacer referencia a una de las reglas particulares dadas que permita aquellainferencia.
El método para confrontar la validez de cualquier inferencia es:
Se escriben todas las posibles combinaciones posibles de valores de certeza para las proposiciones.
Se determina los valoresde certeza para todas las premisas y de la conclusión del razonamiento.
Se buscan las líneas que presentan todas las premisas como proposiciones ciertas si la conclusión es cierta para cada una deestas líneas entonces el razonamiento es válido pero si hay alguna línea para la que todas las premisas son ciertas y la conclusión es falsa el razonamiento no es válido y la conclusión no es una...