ACTIVIDADES A DESARROLLAR

TABLA PLAN DE ACCIÓN

Tarea 1: Conceptualización de las reglas de inferencia.

Para el desarrollo de esta actividad seleccione el siguiente grupo de las Reglas de
Inferencia Lógica, así: Modus Tollendo Ponens, Contraposición y Doble Negación.

a. Modus Tollendo Ponens (MTP)

Esta regla establece que la negación de una de las proposiciones que establece una
disyunción, afirma otra proposición, es decir, negando una proposición en una
disyunción, se afirma la otra disyunción. También conocida como la regla (negando-
afirmo). Si uno de los miembros de una disyunción es negado, el otro miembro queda
automáticamente afirmado, ya que uno de los términos de la elección ha sido descartado.
Premisa 1: p v q
Premisa 2: ¬ p
Conclusión: q

Ejemplo 1:
He ido a jugar futbol o me he ido de rumba.
p: He ido a jugar futbol
q: me he ido de rumba

Al aplicar Modus Tollendo Ponens.

Premisa 1: He ido a jugar futbol o me he ido de rumba.

Premisa 2: No he ido a jugar futbol
Conclusión: Me he ido de rumba
1. p v q
2. ¬ p
__________
q
 Ejemplo 2:
He viajado a España o he viajado a Colombia.
p: He viajado a España
q: he viajado a Colombia
Al aplicar TP.

Premisa 1: He viajado a España o he viajado a Colombia.

Premisa 2: No he viajado a Colombia
Conclusión: por lo tanto, he viajado a España.

1. p v q
2. ¬ q
__________
p

Referencia
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
Madrid, ES: Ediciones Elizcom. Páginas 85- 86 Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=1&docID=10565960
&tm=1491918381547
 b. Contraposición (Contraria)
La contraposición es una ley que dice que, para cada sentencia condicional, hay una
equivalencia lógica entre la misma y su contraposición. En la contraposición de una
sentencia, el antecedente y consecuente son invertidos y negados: por lo tanto, la
contraposición de p →q es, por lo tanto ¬q → ¬p
Ejemplo:

Si algo es murciélago, entonces es mamífero.

p: algo es murciélago
q: es mamífero
p →q
Aplicando esta ley.
¬q →¬p
¬p: no es murciélago
¬q: algo no es mamífero
Quedando así:
Si algo no es mamífero, entonces no es murciélago."
Referencia
Wikipedia. (07 de 07 de 2017). Contraposición lógica. Wikipedia. Obtenido de Wikipedia:
https://es.wikipedia.org/wiki/Contraposici%C3%B3n_l%C3%B3gica#Ejemplos
c. Doble Negación (DN)
Es una regla que establece que la doble negación de una proposición equivale a la misma
proposición y viceversa. Permite el paso de una sola premisa a la conclusión.

1. P
______
¬¬p

Ejemplo 1:
Juan toma un bus para llegar a Cartagena.
Al aplicar DN.
Premisa 1: Juan toma un bus para llegar a Cartagena.
Conclusión: No sucede que Juan no toma un bus para llegar a Cartagena.
1. p
__________
¬¬p
Ejemplo 2:
No es cierto que 3 no es un número impar
Al aplicar DN.
Premisa 1: No es cierto que 3 no es un número impar
Conclusión: 3 es un número impar

1. ¬ ¬ p
_______
p

Referencia
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. Madrid, ES: Ediciones Elizcom. Páginas 80- 81 Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=1&docID=105
65960&tm=1491918381547
Tarea 2: Problemas de aplicación I
Demostrar la validez o no validez del argumento dado a través de:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.
 Uso del simulador Truth Table.

b. En Colombia nos encontramos en proceso de campaña presidencial y uno de los temas

a tratar son el pago de horas extras, así: “Si la ley no fue aprobada, entonces el pago
de las horas queda como estaba. Si el pago de las horas queda como estaba, entonces
no debemos trabajar más horas extras. Debemos trabajar más horas extras o el
proyecto se retrasará un mes. El proyecto no se retrasará un mes. Por tanto, la ley fue
aprobada”.

Argumento:
En Colombia nos encontramos en proceso de campaña presidencial y uno de los temas
a tratar son el pago de horas extras, así: “Si la ley no fue aprobada, entonces el pago
de las horas queda como estaba. Si el pago de las horas queda como estaba, entonces
no debemos trabajar más horas extras. Debemos trabajar más horas extras o el
proyecto se retrasará un mes. El proyecto no se retrasará un mes. Por tanto, la ley fue
aprobada”.

Hallar Proposiciones simples:

p: la ley fue aprobada
q: el pago de las horas queda como estaba
r: Debemos trabajar más horas extras
s: el proyecto se retrasará un mes
¬ p: la ley no fue aprobada
¬r: no Debemos trabajar más horas extras
¬s: el proyecto no se retrasará un mes
Argumento:
En Colombia nos encontramos en proceso de campaña presidencial y uno de los temas
a tratar son el pago de horas extras, así: “Si la ley no fue aprobada, entonces el pago
de las horas queda como estaba. Si el pago de las horas queda como estaba, entonces
no debemos trabajar más horas extras. Debemos trabajar más horas extras o el
proyecto se retrasará un mes. El proyecto no se retrasará un mes. Por tanto, la ley fue
aprobada”.

Hallar las premisas:

Lenguaje natural
Premisa 1: Si la ley no fue aprobada, entonces el pago de las horas queda como estaba.
Premisa 2: Si el pago de las horas queda como estaba, entonces no debemos trabajar
más horas extras
Premisa 3: Debemos trabajar más horas extras o el proyecto se retrasará un mes.
Premisa 4: El proyecto no se retrasará un mes.
Conclusión: Por tanto, la ley fue aprobada.

Lenguaje Simbólico
Premisa 1: ¬ p → q
Premisa 2: q → ¬r
Premisa 3: r v s
Premisa 4: ¬s
Conclusión: p

Formula simbólica:

[(¬ p → q) ∧ (q → ¬r) ∧ (r v s) ∧ ¬s] → p

 Uso de las tablas de verdad.

Formula simbólica:
[(¬ p → q) ∧ (q → ¬r) ∧ (r v s) ∧ ¬s] → p

Proposiciones simples: p, q, r, s.
Negaciones de proposiciones simples: ¬p, ¬r, ¬s.
Premisas: (¬ p → q), (q → ¬r), (r v s), ¬s, p
Operaciones con Premisas:
[{(¬ p → q) ∧ (q → ¬r)} ∧ {(r v s) ∧ ¬s}]
[{(¬ p → q) ∧ (q → ¬r)} ∧ {(r v s) ∧ ¬s}] → p
Obtener la cantidad de combinaciones de valores de verdad.
Como se tienen cuatro variables proposicionales, la cantidad de combinaciones de
valores de verdad será: 24= 16.

p q r s
v v v v
v v v f
v v f v
v v f f
v f v v
v f v f
v f f v
v f f f
f v v v
f v v f
f v f v
f v f f
f f v v
f f v f
f f f v
f f f f
Uso del simulador Truth Table
 Uso de las reglas de inferencia.
Demostrar: Conclusión: p

Premisa 1: (¬ p → q)
Premisa 2: (q → ¬r)
Premisa 3: (r v s)
Premisa 4: ¬s
Conclusión: p
Premisa 5: r Modo Tollendo Ponens 3 y 4
Premisa 6: ¬q Modo Tolendo Tollens 2 y 5
Premisa 7: p Modo Tolendo Tollens 1 y 6
Tarea 3: Problemas de aplicación II
Expresar el siguiente enunciado en Lenguaje natural relacionada con la dinámica de la
Universidad de su rol como estudiante y demostrar la validez del argumento dado a través
de:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.
 Uso del simulador Truth Table.

Convertir a lenguaje natural

b). [(𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (𝒔 ∨ ~𝒓) ∧ (~𝒔 ∨ 𝒕) ∧ (~𝒕)] ⟶ ~𝒑

Proposiciones simples: p, q, r, s, t
p: Realizo bien el trabajo de lógica matemática
q: la profesora califica como bueno el trabajo
r: sacare buena nota
s: Debo dedicar más tiempo para estudiar
t: perderé mi trabajo
~r: no sacare buena nota
~s: No debemos dedicar más tiempo para estudiar
~p: no realizo bien el trabajo de lógica matemática.

Premisa 1: (𝒑 → 𝒒)
Premisa 2: (𝒒 → 𝒓)
Premisa 3: (𝒔 ∨ ~𝒓)
Premisa 4: (~𝒔 ∨ 𝒕)
Premisa 5: (~𝒕)
Conclusión: ~𝒑
 Premisa 1: (𝒑 → 𝒒)
“Si realizo bien el trabajo de lógica matemática, entonces la profesora
califica como bueno el trabajo.
Premisa 2: (𝒒 → 𝒓)
Si la profesora califica como bueno el trabajo, entonces sacare buena nota.
Premisa 3: (𝒔 ∨ ~𝒓)
Debo dedicar más tiempo para estudiar o no sacare buena nota.
Premisa 4: (~𝒔 ∨ 𝒕)
No debo dedicar más tiempo para estudiar o perderé mi trabajo.”
Premisa 5: (~𝒕)
No perderé mi trabajo
Conclusión: ~𝒑
Por tanto, no realizo bien el trabajo de lógica matemática.

Lenguaje natural
Argumento:
“Si realizo bien el trabajo de lógica matemática, entonces la profesora califica como
bueno el trabajo. Si la profesora califica como bueno el trabajo, entonces sacare buena
nota. Debo dedicar más tiempo para estudiar o no sacare buena nota. No debo dedicar
más tiempo para estudiar o perderé mi trabajo. No perderé mi trabajo. Por tanto, no
realizo bien el trabajo de lógica matemática.
Uso de las tablas de verdad.
Formula simbólica:
[(𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (𝒔 ∨ ~𝒓) ∧ (~𝒔 ∨ 𝒕) ∧ (~𝒕)] ⟶ ~𝒑
Proposiciones simples: p, q, r, s, t.
Negaciones de proposiciones simples: ~p, ~r, ~s.
Premisas:(𝒑 → 𝒒), (𝒒 → 𝒓), (𝒔 ∨ ~𝒓), (~𝒔 ∨ 𝒕), (~𝒕), ~𝒑.
Operaciones con Premisas:
[(𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (𝒔 ∨ ~𝒓) ∧ (~𝒔 ∨ 𝒕) ∧ (~𝒕)]

[(𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (𝒔 ∨ ~𝒓) ∧ (~𝒔 ∨ 𝒕) ∧ (~𝒕)] ⟶ ~𝒑

Obtener la cantidad de combinaciones de valores de verdad.

Como se tienen cuatro variables proposicionales, la cantidad de combinaciones de valores

de verdad será: 25= 32.
Uso del simulador Truth Table.
Uso de las reglas de inferencia.
Formula simbólica:
[(𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (𝒔 ∨ ~𝒓) ∧ (~𝒔 ∨ 𝒕) ∧ (~𝒕)] ⟶ ~𝒑

Demostrar: Conclusión: ~𝒑

Premisa 1: (𝒑 → 𝒒)
Premisa 2: (𝒒 → 𝒓)
Premisa 3: (𝒔 ∨ ~𝒓)
Premisa 4: (~𝒔 ∨ 𝒕)
Premisa 5: (~𝒕)
Conclusión: ~𝒑
Premisa 6: ~𝒔 Modo Tollendo Ponens 4 y 5
Premisa 7: ~𝒓 Modo Tollendo Ponens 3 y 6
Premisa 8: ~𝒒 Modo Tolendo Tollens 2 y 7
Premisa 9: ~𝒑 Modo Tolendo Tollens 1 y 8
Tarea 4: Razonamiento Deductivo e Inductivo
Identifique del siguiente caso si el razonamiento es deductivo o inductivo, argumentado la
respuesta con sus propias palabras.

b.) Teniendo en cuenta la siguiente situación determine qué tipo de razonamiento se usó:
Al sitio de comidas rápidas al que frecuentemente Carlos, nota que todos los viernes
tienen promociones de 2 hamburguesas al precio de 1, por lo que decide que a partir
de la otra semana iría todos los viernes e invitaría a su novia Andrea, así se ahorraría
una cantidad importante de dinero.

Se evidencia un razonamiento inductivo, porque Carlos utiliza su experiencia en lo

vivido u observado, sumado a la ocurrencia probable de un evento para extraer
conclusiones. Carlos basado en la experiencia de observa “que todos los viernes
tienen promociones de 2 hamburguesas al precio de 1” en el sitio donde frecuenta,
concluye que “a partir de la otra semana iría todos los viernes e invitaría a su novia
Andrea”.