587 Tarea 1 Paula Restrepo

UNIDAD 1
TAREA 1
METODOS PARA PROBAR LA VALIDEZ DE LOS ARGUMENTOS
Lógica matemática
Paula Andrea Restrepo
66776904
587
Elkin Barreiro
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería (ECBTI)
Ingeniería de Alimentos
Santa Marta 05 de octubre de 2020
Introducción
En este trabajo desarrollare los cuatro ejercicios correspondientes a la
letra C de la tarea 1.
El objetivo es aprender a aplicar las normas de inferencia como son, la
adjunción, simplificación, el modus ponendo ponens, modus tollendo
tollens. Adicionalmente aprenderé a realizar tablas de verdad de manera
manual para ello empleare las herramientas como lo son los videos
tutoriales recibidos en el correo interno de la unad, en el grupo de
Skype creado por el tutor y también con el simulador lógica UNAD para
verificar los resultados de nuestras tablas de la verdad las cuales
haremos manualmente.
Objetivos
 Aplicación de las reglas de inferencia
 Formulación de proposiciones
 Realizar tablas de verdad de manera manual
 Diferenciar y entender las Proposiciones
(Disyunción, conjunción, negación, condicional y bicondicional).

Ejercicio 1
Proposiciones Simples: q, r
Negación de Proposiciones simples: ~𝑝, ~𝑞
Premisas: (~𝑝 ↔ 𝑞) → (~𝑞 ∨ 𝑟)
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: Algunos estudiantes de la UNAD estudian Administración
Financiera
Lenguaje Natural:
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 Algunos estudiantes de la UNAD
estudian Administración Financiera
(~𝑝 ↔ 𝑞) → (~𝑞 ∨ 𝑟)
p q r ~p q (~p ↔q) ~q r ( ~q V r) (~p ↔q) → ( ~q V r)

V V V F V F F V V V
V V F F V F F F F V
V F V F F V V V V V
V F F F F V V F V V
F V V V V V F V V V
F V F V V V F F F F
F F V V F F V V V V
F F F V F F V F V V
Es una Contingencia
Link de video https://youtu.be/nQurJtQgsyE
Ejercicio 2
Expresión simbólica a desarrollar:
a →b r →s p ∧q
a __ ¬ s__
b ¬r p
1: Expresión simbólica
a →b
a __
b
Ley de Inferencia: Modus Ponendo Ponens (pp1,2)
Proposiciones
a. Paula está en el grupo de Oración
b. Maria está en la Iglesia
Lenguaje Natural
Si Paula está en el grupo de Oración, entonces Maria está en la Iglesia.
Maria está en la Iglesia por lo tanto Paula está en el grupo de Oración
r →s
¬ s__
¬r
Ley de Inferencia: Modus Tollendo Tollens
Proposiciones
r. Paula está en el grupo de Oración
s. Maria está en la Iglesia
Lenguaje Natural
Paula está en el grupo de Oración, entonces Maria está en la Iglesia.
Maria No está en la iglesia por lo tanto Paula No está en el grupo de oración
p ∧q
p
Ley de Inferencia: Simplificación
Proposiciones
p. Paula está en el grupo de Oración
q. Maria está en la Iglesia
Lenguaje Natural
Paula está en el grupo de Oración Y Maria está en la Iglesia por lo tanto Paula está en el
grupo de Oración
Ejercicio 3
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 aplicada: MODUS TOLLENDO TOLLENS
c. Lenguaje simbólico:
p q
~q_____
~p
Ejercicio 4
Expresión simbólica:{(𝑝 ∧ ¬𝑞) ∧ (𝑟 → 𝑞) ∧ (𝑟 ∨ ¬𝑞)} → (𝑝 ∧ ¬𝑟)

P1: 𝑝 ∧ ¬𝑞
P2: 𝑟 → 𝑞
P3: 𝑟 ∨ ¬𝑠
Conclusión: 𝑝 ∧ ¬𝑟
Definición de preposiciones:
p: Paula estudia en la unad
q: ella gana el curso de lógica matemática
r: se graduara
Premisas:
P1: p∧¬q
P2: r→q
P3: r∨¬q
Conclusión: p∧¬r
P1: Paula estudia en la unad y ella no gana el curso de lógica matemática
P2: se graduara entonces ella gana el curso de lógica matemática
P3: se graduara o ella no ganara el curso de lógica matemática
Conclusión: Paula estudia en la unad y no se graduara
P4: p Simplificación en P1
P5: ¬q Simplificación en P1
P6: ¬r MTT en P2 y P5
P8: p∧¬r Adjunción en P4 y P6
Paula estudia en la unad y ella no gano el curso de lógica matemática. Se

graduara entonces ella gano el curso de lógica matemática y se graduara o
ella no ganara el curso de lógica matemática entonces, Paula estudia en la
unad y no se graduara
∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧
p q r p ~q (p ~q) r q ( r → q) (p ~q) ( r → q) r ~q (r V ~q) {(p ~q) ( r → q) (r V ~q)} p ~r (p ~r) {(p ~q) ( r → q) (r V ~q)} →(p ~r)
V V V V F F V V V F V F V F V F F V
V V F V F F F V V F F F F F V V V V
V F V V V V V F F F V V V F V F F V
V F F V V V F F V V F V V V V V V V
F V V F F F V V V F V F V F F F F V
F V F F F F F V V F F F F F F V F V
F F V F V F V F F F V V V F F F F V
F F F F V F F F V F F V V F F V F V
Conclusiones
Al terminar los ejercicios propuestos en la tarea 1 se concluye que al convertir el lenguaje
natural en lenguaje formal o simbólico podemos verificar la validez de los argumentos,

aplicando de manera correcta las reglas de inferencia y desarrollando las tablas de la verdad
determinamos si es una tautología, una contingencia o una contradicción.
Bibliografía
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
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
Rodríguez, V.R. (2013). Elementos de lógica proposicional. (pp. 19 – 28) editorial Tébar
Flores. Recuperado de http://ebookcentral.proquest.com/lib/unadsp/detail.action?
docID=3226457
Pérez, A. R. (2013). Inferencia Lógica. Córdoba, AR: El Cid Editor. (pp. 40-49).
Recuperado de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?
page=59

587 Tarea 1 Paula Restrepo

Cargado por

Copyright:

Formatos disponibles

587 Tarea 1 Paula Restrepo

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

587 Tarea 1 Paula Restrepo

Cargado por

Copyright:

Formatos disponibles

UNIDAD 1

METODOS PARA PROBAR LA VALIDEZ DE LOS ARGUMENTOS

Paula Andrea Restrepo

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

En este trabajo desarrollare los cuatro ejercicios correspondientes a la

El objetivo es aprender a aplicar las normas de inferencia como son, la

adjunción, simplificación, el modus ponendo ponens, modus tollendo

tollens. Adicionalmente aprenderé a realizar tablas de verdad de manera

tutoriales recibidos en el correo interno de la unad, en el grupo de

verificar los resultados de nuestras tablas de la verdad las cuales

 Aplicación de las reglas de inferencia

 Realizar tablas de verdad de manera manual

 Diferenciar y entender las Proposiciones

(Disyunción, conjunción, negación, condicional y bicondicional).

Negación de Proposiciones simples: ~𝑝, ~𝑞

Premisas: (~𝑝 ↔ 𝑞) → (~𝑞 ∨ 𝑟)

p: Los estudiantes de la UNAD entregan sus actividades a través

Los estudiantes de la UNAD NO entregan sus actividades a través

p q r ~p q (~p ↔q) ~q r ( ~q V r) (~p ↔q) → ( ~q V r)

Expresión simbólica a desarrollar:

Ley de Inferencia: Modus Ponendo Ponens (pp1,2)

Ley de Inferencia: Modus Tollendo Tollens

Ley de Inferencia: Simplificación

Si Camilo estudia Ingeniería electrónica entonces Camilo utiliza

a. Conclusión: Camilo No estudia Ingeniería electrónica

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

Paula estudia en la unad y ella no gano el curso de lógica matemática. Se

Al terminar los ejercicios propuestos en la tarea 1 se concluye que al convertir el lenguaje

natural en lenguaje formal o simbólico podemos verificar la validez de los argumentos,

determinamos si es una tautología, una contingencia o una contradicción.

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

También podría gustarte