DEDUCCI N PROPOSICIONAL

I.U.T Antonni Jose de Sucre
PLC, 26 de junio de 2015
Escuela de informática (78)
Alumno: Carlos Triana
Informe

DEDUCCIÓN PROPOSICIONAL

Con el manejo de unas pocas reglas empezamos a aprender elmétodo de las deducciones formales. Es decir se ha aprendido el camino preciso de demostrar que los razonamientos son válidos. Un razonamiento es simplemente un conjunto de proposiciones dadas comopremisas y una conclusión deducida de estas premisas.
Según lo Manifiesta Tinoco (2008) podemos comparar el proceso de deducción o inferencia con un juego
El conjunto de premisas constituye la posicióninicial del juego
Las jugadas están dadas por las reglas de deducción que veremos seguidamente
La meta del juego consiste en llegar a la conclusión deseada
Al mismo tiempo Tinoco resalta las siguientesreglas
LAS CUATRO REGLAS DE LA DEDUCCION PROPOSICIONAL
REGLA P (Regla de utilización de las premisas): Podemos utilizar una premisa en cualquier punto de una deducción. En otras palabras podemos haceruso de una premisa (de las dadas inicialmente) en el momento en que la necesitemos.
REGLA I (Regla de introducción de proposiciones). Podemos introducir una proposición en una deducción, si ya esaproposición ha sido deducida lógicamente. Dicho de otra manera, una proposición que ya haya sido deducida lógicamente, puede utilizarse como si fuera una premisa.
REGLA PC (Regla de prueba condicional):Si una conclusión es de la forma p→q, entonces podemos anexar p al conjunto de premisas y concluir q
REGLA RAA (Regla de prueba por reducción al absurdo): Para demostrar que un conjunto de premisasconduce lógicamente a una conclusión, podemos agregar la negación de la conclusión al conjunto de premisas y obtener alguna contradicción

La deducción proposicionales hace apoyándose en las leyes deinferencia lógica, puede hacerse teniendo un argumento en forma simbólica o en forma oracional. Veamos los siguientes ejemplos:






1er EJEMPLO:
Si la ballena es un mamífero, entonces toma...