156 Tarea 1 Danilo Urbano

1
Tarea 1 – Métodos para probar la validez de argumentos

Lógica Matemática
Presentado por:
Albeiro Danilo Urbano Guerrero
Grupo: 90004_156
Presentado a la Tutora:
Paula Andrea Mosquera
Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios ECACEN
Programa de Administración de Empresas
CCAV Pasto, octubre 2020
2
Tabla de contenido
Introducción ............................................................................................................................... 3
2. Objetivos ............................................................................................................................. 4
3. Desarrollo........................................................................................................................ 5
3.1 Ejercicio1: Proposiciones y tablas de verdad.......................................................... 5
3.2 Ejercicio 2: Identificación de las reglas de la inferencia lógica............................ 7
3.3 Ejercicio 3: Aplicación de las reglas de la inferencia lógica ................................. 8
3.4 Ejercicio 4: Problemas de aplicación ....................................................................... 9
4. Conclusiones......................................................................................................................... 12
3
Introducción
Es importante saber que para analizar la validez que tiene un argumento se necesita aplicar
unas reglas como son: las tablas de verdad y las reglas de inferencia.
las tablas de verdad las cuales permiten obtener la verdad o falsedad de una expresión o de
una proposición.
Las reglas de inferencia es un proceso que se obtiene mediante las premisas dadas y cuyo
objetivo es que la conclusión sea de consecuencia lógica.
Veremos unos ejercicios para entender mejor estos conceptos.

4
2. Objetivos
Este trabajo permite identificar y probar la validez que tienen los argumentos mediante la
aplicación de las tablas de verdad y las reglas de inferencia.

5
3. Desarrollo
Letra “C”
3.1 Ejercicio1: Proposiciones y tablas de verdad
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
(~𝑝↔𝑞) →(~𝑞∨𝑟)
➢Escriba la proposición compuesta propuesta en lenguaje natural.
Si 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.
➢Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso
para uso del simulador lo podrá encontrar en el anexo 2(Simulador Lógica UNAD),
ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de
evaluación -Unidad 1-Tarea 1-Métodos para probar la validez de argumentos.

6
➢Generar una tabla de verdad manualmente a partir del lenguaje simbólico y
determinar si el resultado es una tautología, contingencia o contradicción.
p q r ~p ~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 V V V F V V V
F V F V F V F F
F F V V V F V V
F F F V V F V V
Se determina una contingencia.

7
3.2 Ejercicio 2: Identificación de las reglas de la inferencia lógica
1, Ley de Modus Ponendo ponens
A→B
A
__________
B
A = Terminas tu carrera
B = Te compro el carro que te gusta
Si terminas tu carrera entonces te compro el carro que te gusta.

Conclusión:
Por lo tanto, te compro el carro que te gusta.
2, Ley de Modus Tollendo Tollens
R→S
¬S
_________
¬R
R = Terminas tu carrera
S = Te compro el carro que te gusta
Si terminas tu carrera entonces te compro el carro que te gusta. No te compro el carro que
te gusta.
8
Conclusión:
Por lo tanto, no termino su carrera.
3, Ley de simplificación
P∧Q
_________
P
P = María estudia en la UNAD

Q = Martin juega futbol
Si María estudia en la UNAD y Martin juega futbol.

Podemos concluir que María estudia en la UNAD.
3.3 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: Por lo tanto, Camilo no estudia Ingeniería electrónica.
b. Ley de inferencia aplicada: Ley de Modus Tollendo Tollens
c. Lenguaje simbólico:
P→Q
¬P
_____________
¬Q
9
3.4 Ejercicio 4: Problemas de aplicación
C. Expresión simbólica:
{(𝑝∧¬𝑞) ∧(𝑟→𝑞) ∧(𝑟∨¬𝑞)} →(𝑝∧¬𝑟)
P1: 𝑝∧¬𝑞
P2: 𝑟→𝑞
P3: 𝑟∨¬q
Conclusión: 𝑝∧¬𝑟
➢Proposiciones simples:
p: Pablo estudia Administración de Empresas en la UNAD.
q: Pablo aprobó el curso de lógica matemática.
r: Pablo está matriculado en el 4 semestre.
➢Lenguaje Natural:
Pablo estudia Administración de Empresas en la UNAD y pablo no aprobó el curso de
lógica matemática. Si Pablo está matriculado en el 4 semestre entonces Pablo aprobó el
curso de lógica matemática. Pablo está matriculado en el 4 semestre o pablo no aprobó el
curso de lógica matemática. Por lo tanto, Pablo estudia Administración de Empresas en la
UNAD y Pablo no está matriculado en el 4 semestre.

10
➢Tabla de verdad manual:
➢Tabla de verdad Simulador UNAD:
➢Demostración de la validez del argumento mediante las Leyes de Inferencia:

{(𝑝∧¬𝑞) ∧(𝑟→𝑞) ∧(𝑟∨¬𝑞)} →(𝑝∧¬𝑟)
P1: 𝑝∧¬𝑞
P2: 𝑟→𝑞
P3: 𝑟∨¬q
Conclusión: 𝑝∧¬𝑟
11
P4: p Simplificación (S) en P1
P5: ¬q Simplificación (S) en p1
P6: ¬ r Modus tollendo tollens (TT) en P2 y P5
P7: 𝑝∧¬𝑟 Conjunción (C) en P4 Y P6

12
4. Conclusiones
Se puede observar que gracias a las tablas de verdad y a las leyes de inferencia, se realiza
un análisis de una manera precisa y da como resultado la veracidad de los argumentos, por
ende, se puede decir que son de vital importancia para saber la verdad o falsedad del
mismo.
13
Referencias
Cardona, T. S. A. (2010). Reglas de inferencia. (pp. 78 - 99). Ediciones Elizcom, Madrid.
Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=81
Castaño, C. (2019). Leyes de la inferencia. Recuperado de
https://repository.unad.edu.co/handle/10596/31590
Villalpando, B. J. F. (2014). Prueba formal de validez. (pp. 34-37). México, D.F, Larousse -
Grupo Editorial Patria. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=39

156 Tarea 1 Danilo Urbano

Cargado por

Copyright:

Formatos disponibles

156 Tarea 1 Danilo Urbano

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

156 Tarea 1 Danilo Urbano

Cargado por

Copyright:

Formatos disponibles

1

Tarea 1 – Métodos para probar la validez de argumentos

Universidad Nacional Abierta y a Distancia – UNAD

3.1 Ejercicio1: Proposiciones y tablas de verdad.......................................................... 5

3.2 Ejercicio 2: Identificación de las reglas de la inferencia lógica............................ 7

3.3 Ejercicio 3: Aplicación de las reglas de la inferencia lógica ................................. 8

3.4 Ejercicio 4: Problemas de aplicación ....................................................................... 9

objetivo es que la conclusión sea de consecuencia lógica.

Veremos unos ejercicios para entender mejor estos conceptos.

aplicación de las tablas de verdad y las reglas de inferencia.

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.

➢Escriba la proposición compuesta propuesta en lenguaje natural.

Si 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

ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de

evaluación -Unidad 1-Tarea 1-Métodos para probar la validez de argumentos.

➢Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.

p q r ~p ~q ~𝑝 ↔ 𝑞 ~𝑞 ∨ 𝑟 (~𝑝 ↔𝑞) →(~𝑞∨𝑟)

Se determina una contingencia.

3.2 Ejercicio 2: Identificación de las reglas de la inferencia lógica

1, Ley de Modus Ponendo ponens

Si terminas tu carrera entonces te compro el carro que te gusta.

2, Ley de Modus Tollendo Tollens

P = María estudia en la UNAD

Si María estudia en la UNAD y Martin juega futbol.

3.3 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

a. Conclusión: Por lo tanto, Camilo no estudia Ingeniería electrónica.

b. Ley de inferencia aplicada: Ley de Modus Tollendo Tollens

3.4 Ejercicio 4: Problemas de aplicación

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

q: Pablo aprobó el curso de lógica matemática.

r: Pablo está matriculado en el 4 semestre.

lógica matemática. Si Pablo está matriculado en el 4 semestre entonces Pablo aprobó el

curso de lógica matemática. Pablo está matriculado en el 4 semestre o pablo no aprobó el

curso de lógica matemática. Por lo tanto, Pablo estudia Administración de Empresas en la

UNAD y Pablo no está matriculado en el 4 semestre.

➢Tabla de verdad manual:

➢Tabla de verdad Simulador UNAD:

➢Demostración de la validez del argumento mediante las Leyes de Inferencia:

P4: p Simplificación (S) en P1

P5: ¬q Simplificación (S) en p1

P6: ¬ r Modus tollendo tollens (TT) en P2 y P5

P7: 𝑝∧¬𝑟 Conjunción (C) en P4 Y P6

Cardona, T. S. A. (2010). Reglas de inferencia. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Castaño, C. (2019). Leyes de la inferencia. Recuperado de

Grupo Editorial Patria. Recuperado de https://elibro-

También podría gustarte