PASO 4.
DOCENTE.
La importancia de realizar este tipo de trabajo, está orientada a preparar a los estudiantes en
las nociones básicas de la lógica matemática, para futuras aplicaciones según su área de
estudio, es así que como el estudiante deberá tener las destrezas necesarias para la
determinación de argumentos verdaderos o no en base a la aplicación de las técnicas y
herramientas de la lógica matemática como preparación para su futuro desempeño como
profesional y estudiante.
OBJETIVOS
Objetivo General
Desarrollar las destrezas necesarias para la construcción correcta de tablas de verdad, y
aplicación de reglas de inferencia y equivalencia, como elementos necesarios en la
construcción de un profesional integral y capacitado para enfrentar los desafíos del mercado
laboral.
Objetivos específicos
1. 𝑝 𝘝 𝑞 1. 𝑝 𝘝 𝑞
2. ¬ 𝑝 O también se puede 2. ¬ 𝑞
______ concluir __________
𝐶. 𝑞 𝑇𝑃 1.2 𝐶. 𝑝 𝑇𝑃 1.2
EJEMPLO 1.
Si se tiene la premisa de que “la energía interna de un átomo puede cambiar con
continuidad o cambia sólo a saltos” se puede aplicar Tollendo Ponens de la siguiente
manera:
1. La energía interna de un átomo puede cambiar con continuidad o cambia sólo a saltos.
2. La energía interna de un átomo no puede cambiar con continuidad
_______________________________________
𝐶 La energía interna de un átomo cambia sólo a saltos.
LENGUAJE SIMBOLICO
1. 𝑝 𝘝 𝑞
2. ¬ p
∴ q 𝑇𝑃 1.2
EJEMPLO 2.
El premio está en la tapa 1 o en la tapa 2.
El premio no está en la tapa 2.
∴ El premio está en la tapa 1.
LENGUAJE SIMBOLICO
p∨q
∼q
∴ TP 1.2
CONTRAPOSICION
Es una implicación cuyo antecedente es la negación del consecuente de la implicación directa
y cuyo consecuente es la negación del antecedente de la implicación directa. El valor de
verdad de la proposición contrarrecíproca necesariamente es el mismo de la proposición
directa.
P→Q≡¬Q→¬P
En esta técnica se empieza por negar la tesis (B), para convertirla en hipótesis y así cambiar
la hipótesis inicial A por NO B, así mismo se niega la hipótesis (A), para convertirla en tesis;
entonces se trabaja progresivamente únicamente desde NO B, con el fin de llegar a probar
NO A. Esto es posible pues el valor de verdad de A implica B es el mismo valor de verdad
de NO B implica NO A.
Por lo tanto, si probamos que ¬ Q → ¬ P es una tautología, habremos probado que P → Q
también lo es, luego P ⇒ Q.
Ejemplo 1
Proposición condicional (p → q)
Si se vive en San Juan, entonces se vive en Puerto Rico.
Proposición contrareciproca ( ~q → ~p)
Si no se vive en Puerto Rico, entonces no se vive en San Juan
Ejemplo 2
◦Proposición condicional (p → q)
Si dos ángulos son rectos, entonces son congruentes.
•Proposición contrareciproca ( ~q → ~p)
Si dos angulo no son congruentes, entonces los dos angulos no son rectos.
Condicion de angulos rectos – medida de 90°.
DOBLE NEGACIÓN.
La regla de doble negación es una regla simple que permite pasar de una premisa única a la
conclusión. Un ejemplo simple es el de una negación de negación, que brevemente se
denomina «doble negación». Sea la proposición:
1. No ocurre que Ana no es un estudiante
_________________________________
∴ Ana es un estudiante.
LENGUAJE SIMBOLICO
P: No ocurre que Ana no es un estudiante
(P)
_____________
¬ ¬ (P)
LENGUAJE SIMBOLICO
¬ ¬ (P)
_____________
(P)
TAREA 2: PROBLEMAS DE APLICACIÓN I
Solucionar los siguientes enunciados y 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
2. PREMISAS:
4. FORMULA
5. TABLA DE VERDAD.
6. TRUTH TABLE
7. INFERENCIAS
1. p ⇒ (⌐q ∨ ⌐r)
2. p ∨ ⌐ s
3. ⌐s ⇒ r
4. q ∧ r
∴r
5. q simplificación (4)
6. ⌐ s ∨ p CONM (2)
7. ⌐ p ∨ (⌐q ∨ ⌐r) IMP (1)
8. (⌐ p ∨ ⌐q) ∨ ⌐r ASO (7)
9. s ∨ r IMP Y DN (3)
10. ⌐ p ⇒ ⌐ s IMP (2)
11. ⌐ p ⇒ r SH (10 y 3)
12. r Simplificación (4)
TAREA 3: PROBLEMAS DE APLICACIÓN II
Expresar los siguientes enunciados 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.
2. PROPOSICIONES Y NEGACIONES
Proposiciones Negaciones
p: termino académicamente.
q: hago proyecto de investigación. ∼𝑞: no hago proyecto de
r: hago pasantía. investigación.
s: hago un proyecto aplicable. ∼𝑟: no hago pasantía
t: pertenezco a los semilleros de
investigación.
3. PREMISAS
Premisa 1: Si termino académicamente entonces (hago proyecto de investigación o
hago pasantía)
Premisa 2: Si hago proyecto aplicable no hago proyecto de investigación
Premisa 3: si pertenezco a los semilleros de investigación entonces no hago pasantía
Premisa 4: Termino académicamente y pertenezco a los semilleros de investigación
Conclusión: Por lo tanto, hago proyecto de investigación”
4. LENGUAJE SIMBOLICO DE LAS PREMISAS
Premisas 1. 𝑝→(𝑞∨𝑟)
Premisas 2. 𝑠→∼𝑞
Premisas 3. 𝑡→∼𝑟
Premisas 4. 𝑝∧𝑡
Conclusión. q
5. FORMULA
6. TABLA DE VERDAD
8. INFERENCIAS
1. 𝑝→(𝑞∨𝑟)
2. 𝑠→∼𝑞
3. 𝑡→∼𝑟
4. 𝑝∧𝑡
∴𝑞
5. p Simplificación (4)
6. 𝑞∨𝑟 MP (1 y 5)
7. t Simplificación (4)
8. 𝑡→(t ∧∼𝑟) ABS (3)
9. t ∧∼𝑟 MP (8 y 7)
10. ∼𝑟 MP (3 y 7)
11. 𝑠→ (s ∧∼𝑞) ABS (2)
12. ∼𝑝 ∨ (𝑞∨𝑟) IMP (1)
13. q TT (6 Y 10)
TAREA 4: RAZONAMIENTO DEDUCTIVO E INDUCTIVO
Identifique de los siguientes casos si el razonamiento es deductivo o inductivo, argumentado
la respuesta con sus propias palabras.
CASO: “Porque así como hay mucha gente que a mí no puede gustarme…”
RESULTADO: Es lógico suponer que también yo no puedo gustarle a un montón de imbéciles ¿no?