Universidad Nacional Abierta y a Distancia

Tarea 2 – Métodos para probar validez de argumentos

Lógica Matemática

Presentado a: John Jairo Leiva

Ricardo Ángel Mora Hernández

Grupo 90004_159
Escuela ECAPMA

Bogotá D.C. - Noviembre 3 del 2019

Ejercicio 1
Ejercicio 2

Si conduzco mi vehículo entonces manejo prudentemente. Si manejo prudentemente

entonces evitaré accidentes.
Conclusión: Si conduzco mi vehículo, entonces evitaré accidentes.
Ley de inferencia aplicada: Silogismo hipotético (SH)
Lenguaje simbólico: p →q

q→r

p →r
´
Ejercicio 3
Gabriela dice que la arquitectura es el estudio del arte de habitar un espacio, por
ende, considera que se debe definir de acuerdo con el entorno, el clima, optimizando
el área a construir, dándole utilidad a cada metro cuadrado y con el propósito de
modernizar de una manera sobria la zona en la que el proyecto arquitectónico será
ejecutado.

Desarrollo

Argumentación: El razonamiento es deductivo porque a partir de una definición general

sobre la arquitectura, ella deduce unas características particulares que se deben tener en
cuenta.
Ejercicio 4

Expresión simbólica: [( p ∨(q ∧r )) ∧¬ ( q ∧r ) ∧ ( p → s )]→ s

Premisas
P1: p ∨( q ∧r )
P2: ¬ ( q ∧r )
P3: p → s

Conclusión: s

Desarrollo:

 Proposiciones simples:

p: Rafael es estudiante de ingeniería de petróleos

q: Rafael desea hacer una especialización
r: Rafael es estudiante de la UNAD
s: Rafael sabe sobre fenómenos de transporte

 Razonamiento en lenguaje natural:

Rafael es estudiante de ingeniería de petróleos o, Rafael desea hacer una especialización y
Rafael es estudiante de la UNAD. No es cierto que, Rafael desea hacer una especialización
y Rafael es estudiante de la UNAD. Si Rafael es estudiante de ingeniería de petróleos,
entonces Rafael sabe sobre fenómenos de transporte. Por lo tanto, Rafael sabe sobre
fenómenos de transporte.

 Generar la tabla de verdad manualmente:

p Q r s (q ∧ r) p ∨( q ∧r ) ¬ ( q ∧r ) ( p → s) [( p ∨(q ∧r )) ∧¬
[( p(∨(q
q ∧r∧r
) ∧ ))
( p∧¬
→ s( q)] ∧r ) ∧ ( p → s )]→

V V V V V V F V F V
V V V F V V F F F V
V V F V F V V V V V
V V F F F V V F F V
V F V V F V V V V V
V F V F F V V F F V
 V F F V F V V V V V
V F F F F V V F F V
F V V V V V F V F V
F V V F V V F V F V
F V F V F F V V F V
F V F F F F V V F V
F F V V F F V V F V
F F V F F F V V F V
F F F V F F V V F V
F F F F F F V V F V

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD
Leyes de inferencia:
Premisas

P1: p ∨( q ∧r )

P2: ¬ ( q ∧r )

P3: p → s
Conclusión: s

P4: p MTP (1) y (2)

P5: s MPP (3) y (4)