TAREA 1

METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTO

MARIBEL CARDENAS ACHURY

1010201155

JOSE RAFAEL BOCACHICA GONZALEZ

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

LOGICA MATEMATICA
CEAD GACHETÁ
 EJERCICIO 1: PROPOSICIONES Y TABLAS DE VERDAD

C.
p: Los estudiantes de la UNAD entregan sus actividades a través de la plataforma
q: Algunos estudiantes de la UNAD estudian Administración Financiera
r: Los estudiantes hacen uso del correo personal para entregar las actividades
(~𝑝 ↔ 𝑞) → (~𝑞 ∨ 𝑟)

Los estudiantes de la UNAD no entregan sus actividades a través de la plataforma, si y solo

si, algunos estudiantes de la UNAD estudian Administración Financiera entonces algunos
estudiantes de la UNAD no estudian Administración Financiera o, los estudiantes hacen
uso del correo personal para entregar las actividades.

TABLA DE VERDAD

P Q R ~𝑝 ~Q ~𝑝 ↔ 𝑞 ~𝑞 ∨ 𝑟 (~𝑝 ↔ 𝑞) → (~𝑞 ∨ 𝑟)
V V V F F F V V
V V F F F F F V
V F V F V V V V
V F F F V V V V
F F F V V F F V
F V F V F V F F
F F V V V F V V
F V V V F V V V

Es una contingencia porque contiene valores verdaderos y falsos.

TABLA DE VERDAD GENERADA POR EL SIMULADOR

LINK DEL VIDEO

https://youtu.be/-Fg7XmStXkU
 EJERCICIO 2: IDENTIFICACIÓN DE LAS REGLAS DE LA INFERENCIA
LÓGICA.

C. EXPRESIÓN SIMBÓLICA
a→b
a
_____ Modus ponendo ponens (modo de afirmar afirmando)
B

r→s
¬s
_____ Modus tollendo tollens (modo de negar negando)
¬r

p∧q
______ Simplificación
P

a: El triángulo equilátero tiene sus lados iguales

b: El triángulo equilátero tiene sus ángulos iguales
Si el triángulo equilátero tiene sus lados iguales, entonces tiene sus ángulos iguales. El
triángulo equilátero tiene sus lados iguales, por lo tanto, tiene sus ángulos iguales.
R: Yo estudio reglas de inferencia
S: Yo hallo conclusiones lógicas
Si yo estudio reglas de inferencia, entonces hallo conclusiones lógicas. Yo no hallo
conclusiones lógicas, por lo tanto, no estudio reglas de inferencia.
P: La UNAD tiene una plataforma muy completa.
Q: Los foros son muy importantes en los procesos educativos.
La UNAD tiene una plataforma muy completa y los foros son muy importantes en los
procesos educativos. Por lo tanto, la UNAD tiene una plataforma muy completa.
EJERCICIO 3: APLICACIÓN DE LAS REGLAS DE LA INFERENCIA LÓGICA

C. Si Camilo estudia Ingeniería electrónica entonces Camilo utiliza simuladores para

realizar los circuitos. Camilo no utiliza simuladores para realizar los circuitos.

a. Conclusión: Camilo no estudia ingeniería electrónica

b. Ley de inferencia aplica: Modus tollendo tollens.
c. Lenguaje simbólico:
p: Camilo estudia Ingeniería electrónica.
q: Camilo utiliza simuladores para realizar los circuitos.

P→Q
¬Q
_____ Modus tollendo tollens (modo de negar negando)
¬P
 EJERCICIO 4: PROBLEMAS DE APLICACIÓN

C. Expresión simbólica: {(𝑝 ∧ ¬𝑞) ∧ (𝑟 → 𝑞) ∧ (𝑟 ∨ ¬𝑞)} → (𝑝 ∧ ¬𝑟)

P1: 𝑝 ∧ ¬𝑞
P2: 𝑟 → 𝑞
P3: 𝑟 ∨ ¬q
Conclusión: 𝑝 ∧ ¬r

La UNAD tiene una plataforma muy completa y los foros no son muy importantes en los
procesos educativos. Si la retroalimentación realizada es oportuna, entonces los foros son
muy importantes en los procesos educativos. La retroalimentación realizada es oportuna o
los foros no son muy importantes en los procesos educativos. Entonces la UNAD tiene una
plataforma muy completa y la retroalimentación realizada no es oportuna.

P: La UNAD tiene una plataforma muy completa.

Q: Los foros son muy importantes en los procesos educativos.
R: La retroalimentación realizada es oportuna

P1: 𝑝 ∧ ¬𝑞
P1: La UNAD tiene una plataforma muy completa y los foros no son muy importantes en
los procesos educativos.

P2: 𝑟 → 𝑞
P2: si la retroalimentación realizada es oportuna entonces Los foros son muy importantes
en los procesos educativos.
P3: 𝑟 ∨ ¬q
P3: La retroalimentación realizada es oportuna o los foros no son muy importantes en los
procesos educativos

Conclusión: 𝑝 ∧ ¬r
Conclusión: La UNAD tiene una plataforma muy completa y la retroalimentación realizada
no es oportuna.

TABLA DE VERDAD MANUAL

P q R ¬q ¬r 𝑝 ∧ ¬𝑞 𝑟→𝑞 𝑟 ∨ ¬q 𝑝 ∧ ¬𝑞) ∧ (𝑟 → 𝑞) (𝑝 ∧ ¬𝑞) ∧ (𝑟 → 𝑞) ∧ (𝑟 ∨

¬𝑞)}
V V V F F F V V F F
V V F F V F V F F F
V F V V F V F V F F
V F F V V V V V V V
F F F V V F V V F F
F F V V F F F V F F
F V F F V F V F F F
V V F F F V V F F
F

𝑝 ∧ ¬r (𝑝 ∧ ¬𝑞) ∧ (𝑟 → 𝑞) ∧ (𝑟 ∨ ¬𝑞)} → (𝑝 ∧ ¬𝑟)

F V
F V
V V
V V
V V
F V
F V
F V
TABLA DE VERDAD GENERADA POR EL SIMULADOR

DEMOSTRACIÓN DE LA VALIDES MEDIANTE LAS LEYES DE LA

INFERENCIA LÓGICA

1 𝑝 ∧ ¬𝑞 P1
2 𝑟→𝑞 P2
3 𝑟 ∨ ¬q P3
4 p S1
5 ¬𝑞 S1
6 ¬r TT2,5
7 𝑝 ∧ ¬r A4,6