Deducción lógica

Una deducción lógica es una secuencia de finitas transformaciones que se realizan a partir de un
conjunto finito de premisas, mediante la aplicación de reglas de inferencia, con el fin de llegar a
una conclusión.
Para hacer una deducción lógica se sugieren los siguientes pasos:
1. Simbolice las proposiciones dadas (o premisas) teniendo en cuenta que una premisa
termina con punto.
2. Enumere las premisas de manera consecutiva y al lado derecho escriba (p) para identificar
que es una premisa.
3. Proceda a derivar la conclusión a partir de las premisas, tendiendo en cuenta que debe
utilizar todas las premisas; para tal fin, escriba en otra línea la proposición obtenida y cada
paso realizado debe también enumerarlo de manera consecutiva. A la derecha de la
expresión, escriba la abreviatura de la regla o reglas aplicadas o en su defecto, escriba el
nombre de la regla o el de la ley correspondiente. Si el paso fue deducido a partir de otras
líneas, entonces deberá escribir su respectivo número. Recuerde que la conclusión de cada
paso es otra premisa y pasará a ser parte de la conjunción con otras premisas.

Demuestra
1. p → ( q ∧ r ) 2. ¬p→q
p∧s ¬q∧r
_____________ __________
r∧s p

3. p ∨ s
s→p
___________
p∨r
4. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir; si nos
quedamos a cenar o a dormir no iremos mañana al concierto; pero sí
iremos mañana al concierto. Así pues, la tormenta no continúa.

5. Si x = 1 e y = 2, entonces z = 3. Si, si y = 2, z = 3 entonces w = 0. x= 1. Por consiguiente

w = 0.

6.
7.

8. El gerente de una empresa es el encargado de muchas de las labores más importantes. Si

es así, entonces ser gerente es un cargo difícil de manejar. La gente dice que, o los
gerentes son personas de las que depende la empresa, o que sólo se dedican a despedir y
contratar trabajadores. Pero si ellos sólo se dedican a contratar y despedir trabajadores,
entonces ser gerente no es un cargo difícil de manejar. Además, si la gerencia no es un
cargo que sólo quienes se han preparado para ello lo merecen, entonces sería falso que la
gente diga que los gerentes son personas de las que depende la empresa y que el gerente
es el encargado de muchas de las labores más importantes. Por lo tanto, la gerencia es un
cargo que sólo quienes se han preparado para ello lo merecen.
4. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir; si nos
quedamos a cenar o a dormir no iremos mañana al concierto; pero sí
iremos mañana al concierto. Así pues, la tormenta no continúa.

Formalización:
p: la tormenta Continúa (p ∨ q) → (r ∨ s)
q: anochece (r ∨ s) → ¬t
r: nos quedamos a cenar t
s: nos quedamos a dormir ¬p
t: ir mañana al concierto

Demostración
1.- (p ∨ q) → (r ∨ s) Premisa
2.- (r ∨ s) → ¬t Premisa
3.- t Premisa
4.- p
5.- (p ∨ q) → ¬t TRANS C. 1,2
6.- ¬(p ∨ q) M.T. 5,3
7.- ¬p ∧ ¬q De Morgan 6
8.- ¬p E.C. 7
9.- p ∧ ¬p I.C. 4, 8
10.- ¬p I.N. 4-9
Si x = 1 e y = 2, entonces z = 3. Si, si y = 2, z = 3 entonces w = 0. x= 1. Por consiguiente w = 0.

Formalización:
p: x =1 (p ∧ q) → r
q: y =2 (q → r) → s
r: z =3 p
s: w = 0 s

Demostración
1.- (p ∧ q) → r Premisa
2.- (q → r) → s Premisa
3.- p Premisa
4.- ¬s
5.- ¬(q → r) M.T. 2, 4
6.- q ∧ ¬r Def C. 5
7.- q E.C. 6
8.- ¬r E.C. 6
9.- p ∧ q I.C. 3,
10.- r E.I. 1,9
11.- r ∧ ¬r I.C. 10,8
12.- ¬¬s I.N. 4-11
10.- s E.N. 12
El gerente de una empresa es el encargado de muchas de las labores más importantes. Si es así,
entonces ser gerente es un cargo difícil de manejar. La gente dice que, o los gerentes son
personas de las que depende la empresa, o que sólo se dedican a despedir y contratar
trabajadores. Pero si ellos sólo se dedican a contratar y despedir trabajadores, entonces ser
gerente no es un cargo difícil de manejar. Además, si la gerencia no es un cargo que sólo quienes
se han preparado para ello lo merecen, entonces sería falso que la gente diga que los gerentes
son personas de las que depende la empresa y que el gerente es el encargado de muchas de las
labores más importantes. Por lo tanto, la gerencia es un cargo que sólo quienes se han preparado
para ello lo merecen.

P= El gerente de una empresa es el encargado de muchas de las labores más importantes.

Q= Ser gerente es un cargo difícil de manejar.
R= La gente dice que los gerentes son personas de las que depende la empresa.
S= La gente dice que los gerentes sólo se dedican a contratar y despedir trabajadores.
T= La gerencia es un cargo que sólo quienes se han preparado para ello lo merecen.
(Conclusión).

1. P
2. P → Q
3. R V S
4. S → ~Q

5. ˜T→ ˜(R Λ P)
6. Q (MPP 1-2)
7. ~S (MTT 4-6)
8. R (MTP 3-7)
9. R Ʌ P (Ad. 1-8)
10. ~ (~T) (MTT 5-9)
11. T (DN 10)