Escolar Documentos
Profissional Documentos
Cultura Documentos
p p q
p p
~q ~q
~p ~p q
p p q
q r r r
p q ~q ~p
p q p
p p
q
(se anexa)
se debe concluir
p q p
q r r
p p
q ( q p)
p
p
q
q
q
p q
p q ~q p
p q ~p q
( p) p
[(p q) (p q) (p q) q) q)
r] [p p q q p
(q
r)]
p q
( premisa ) ( premisa ) p q
p q p
p q q
(p (p
(q (q
p) p)
( premisa) p q
p p q q r s r s
(p (p
q) q)
r r
p p
(q (q
r) r)
p (q r) (p q) (p r) p (q r) (p q) (p r)
Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemticas y Fsica, Ingeniero de Alimentos
Pgina 1
DEDUCCIN PROPOSICIONAL Con el manejo de unas pocas reglas empezamos a aprender el mtodo de las deducciones formales. Es decir se ha aprendido el camino preciso de demostrar que los razonamientos son vlidos. Un razonamiento es simplemente un conjunto de proposiciones dadas como premisas y una conclusin deducida de estas premisas. Cuando se habla de vlido se entiende que la conclusin es consecuencia lgica de las premisas. Una deduccin formal es una serie de proposiciones o pasos en la cual cada paso es una premisa o est deducida directamente de los pasos que la preceden por medio de una determinada regla. Segn lo Manifiesta Tinoco (2008) podemos comparar el proceso de deduccin o inferencia con un juego El conjunto de premisas constituye la posicin inicial del juego Las jugadas estn dadas por las reglas de deduccin que veremos seguidamente La meta del juego consiste en llegar a la conclusin deseada Al mismo tiempo Tinoco resalta las siguientes reglas
LAS CUATRO REGLAS DE LA DEDUCCION PROPOSICIONAL 1. REGLA P ( Regla de utilizacin de las premisas): Podemos utilizar una premisa en cualquier punto de una deduccin. En otras palabras podemos hacer uso de una premisa (de las dadas inicialmente) en el momento en que la necesitemos 2. REGLA I (Regla de introduccin de proposiciones). Podemos introducir una proposicin en una deduccin, si ya esa proposicin ha sido deducida lgicamente. Dicho de otra manera, una proposicin que ya haya sido deducida lgicamente, puede utilizarse como si fuera una premisa. 3. REGLA PC (Regla de prueba condicional): Si una conclusin es de la forma pq, entonces podemos anexar p al conjunto de premisas y concluir q 4. REGLA RAA (Regla de prueba por reduccin al absurdo): Para demostrar que un conjunto de premisas conduce lgicamente a una conclusin, podemos agregar la negacin de la conclusin al conjunto de premisas y obtener alguna contradiccin La deduccin proposicionales hace apoyndose en las leyes de inferencia lgica, puede hacerse teniendo un argumento en forma simblica o en forma oracional. Veamos los siguientes ejemplos:
Ejemplo 1: Dado el siguiente argumento simblico deducir t
1) e 2) 3) e t
s j j
Demostracin
1) e 2) 3) e t
s j j
4) e 5) s 6) j 7) t 8) t
Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemticas y Fsica, Ingeniero de Alimentos
Pgina 2
Ejemplo 2: Deducir t
1) ( p 2) 3) s 4 )s (q
q) r) p t
q p
r s
r
------------
Pero veamos el procedimiento lgico para llegar a esta conclusin, es decir, la deduccin proposicional q 1) p 2) q r 3)
s
3.S 1,4 PP
2,5 PP
_______
4) P 5) q
6)
Ejemplo 3: Si sigue lloviendo, entonces el ro se crece.. Si sigue lloviendo y el ro se crece, entonces el puente ser arrastrado por las aguas. Si la continuacin de la lluvia hace que el puente sea arrastrado por las aguas, entonces no ser suficiente un solo camino para toda la ciudad. O bien un solo camino es suficiente para toda la ciudad o bien los ingenieros han cometido un error. Por tanto, los ingenieros han cometido un error. Simbolizando las proposiciones c: contina lloviendo r: el ro crece p: el puente es arrastrado por las aguas s: un solo camino es suficiente para toda la ciudad
Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemticas y Fsica, Ingeniero de Alimentos Pgina 3
e: los ingenieros han cometido un error La prueba formal de validez es: (Primera premisa) c r 2) (c r ) (segunda premisa) p 3) (c (Tercera premisa) p) s 4) s e (cuarta premisa) _________________
(conclusin)
Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemticas y Fsica, Ingeniero de Alimentos
Pgina 4