Tarea - 1 - Anggie Parra

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 11

Lógica Matemática

Tarea 1 Métodos para probar la validez de argumentos

Grupo: 90004_333

Tutor:

Luis Enrique Leiva

Universidad Nacional Abierta Y A Distancia – Unad

Escuela De Ciencias Agrícolas, Pecuarias Y del Medio Ambiente (Ecapma)

Zootecnia

Cead Florencia

2020

INTRODUCCIÓN
En el presente trabajo aprendimos a construir las tablas de verdad con cada uno de los pasos que

tenemos que tener en cuenta y las reglas de inferencia para poder comprobar la validez de los

argumentos, así mismo aprendimos a leer cada uno de los símbolos ya sea por su nombre o su

significado. Teniendo en cuenta cada una de las tablas de verdad de los operadores lógicos.
DESARROLLO

EJERCICIO 1: PROPOSICIONES Y TABLAS DE VERDAD:

o Proposiciones simples:

p: Diego es deportista de alto rendimiento

q: Diego debe entrenar todos los días

r: Diego llena una vez por semana su tabla de rendimiento físico

o Lenguaje simbólico:

(𝑝 → 𝑞) ∨ (~𝑟)

o Lenguaje Natural:

Si Diego es deportista de alto rendimiento, entonces, Diego debe entrenar todos los días o Diego

no llena una vez por semana su tabla de rendimiento físico.

o Tabla manual :

p q r (P q) (p q) v ( r)
V V F V V
V V V V V
V F F F F
V F V F V
F V F V V
F V V V V
F F F V V
F F V V V
o Tabla de verdad Simulador UNAD: tabla de contingencia

p q r (p→q)∨(~r)
v v v V
v v f V
v f v F
v f f V
f v v V
f v f V
f f v V
f f f V

Enlace del video: https://youtu.be/TUY6XIs4ExA


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

1) Expresión simbólica:

r s

s t

r t

o Ley de inferencia de la expresión: Silogismo hipotético (SH)

o Proposiciones simples:

r: No madrugo

s: No me alcanza el tiempo para hacer de comer

t: Aguantaría hambre todo el día

o Lenguaje Natural:

Si no madrugo, entonces no me alcanza el tiempo para hacer de comer, Si no me alcanza

el tiempo para hacer de comer, entonces aguantaría hambre todo el día.

Por lo tanto, si no madrugo, entonces aguantaría hambre todo el día.

2) Expresión simbólica:

pVq

¬p
q

o Ley de inferencia de la expresión: Modus Tollendo Ponens (TP)

o Proposiciones simples:

p: Juan está en un partido de futbol

q: Juan está en el estadio

o Lenguaje Natural:

Si Juan está en un partido de futbol, o, Juan está en el estadio. Juan no está en un partido

de futbol. Por lo tanto, Juan está en el estadio.

3) Expresión simbólica:

p∧q

o Ley de inferencia de la expresión: Adjunción (A).

o Proposiciones simples:

p: Laura está cantando

q: María está bailando

o Lenguaje Natural:

Laura está cantando. María está bailando.

Por lo tanto. Laura está cantando y maría está bailando


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

o Argumento: Si como saludable entonces, disminuyo el riesgo de padecer enfermedades

cardiovasculares. Si disminuyo el riesgo de padecer enfermedades cardiovasculares

entonces, tendré una larga vida.

a) Conclusión: Si como saludable entonces, tendré una larga vida

b) Ley de inferencia aplicada: Silogismo hipotético (SH)

c) Lenguaje simbólico:

P q

q r

p r

Ejercicio 4: Problemas de aplicación

B.

o Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ 𝑟 ∧ ¬𝑞)] → 𝑞

o Premisas:

P1:𝑝 → 𝑞
P2:𝑝 ∨ 𝑟
P3: ¬ 𝑟 ∧ ¬𝑞
o Conclusión: 𝑞
o Proposiciones simples:

p: Pablo es estudiante de zootecnia en la UNAD


q: Pablo asiste puntualmente a las clases
r: Pablo recibe puntos adicionales por participar en las clases.

o Lenguaje Natural:

Si Pablo es estudiante de zootecnia en la UNAD entonces, Pablo asiste puntualmente a las clases.

Aunque, Pablo es estudiante de zootecnia en la UNAD o Pablo recibe puntos adicionales por

participar en las clases. Aunque, Pablo no recibe puntos adicionales por participar en las clases y

Pablo no asiste puntualmente a las clases. Entonces, Pablo asiste puntualmente a las clases.

o Tabla de verdad manual:

p q r ¬𝑟 ¬𝑞 (𝑝 → 𝑞) (𝑝 ∨ 𝑟) (¬ 𝑟 ∧ ¬𝑞) (𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) (𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ 𝑟 ∧¬𝑞) [(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ 𝑟 ∧ ¬𝑞)] → 𝑞


V V V F F V V F V F V

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

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

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

F F F V V V F V F F V
o Tabla de verdad Simulador UNAD:

p q r ((p→q)∧(p∨r)∧(~r∧~q))→q
v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V

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

P1: 𝑝 → 𝑞
P2: 𝑝 ∨ 𝑟
P3: ¬ 𝑟 ∧ ¬𝑞
P4: ¬ 𝑟 por simplicidad en p3
P5: p por MTP P2, P4
Conclusión: q por MPP en P1, P5
CONCLUCIÓN

Logramos terminar el ejercicio con cada paso y aprobando cada uno de los ejercicios,

aprendiendo a leer cada expresión simbólica en su lenguaje natural y sacar cada proposición

simple que podamos encontrar en cualquier ejercicio. También logramos realizar con éxito la

tabla manual de la conjunción.


BIBLIOGRAFIA

https://youtu.be/NIje4VRjABY
https://youtu.be/kkYu3qy2nvo
https://youtu.be/0BUPhw3x3Bw
https://youtu.be/RDI66U49kNg
https://www.youtube.com/watch?v=Y75njP0TIhw
https://www.youtube.com/watch?v=UYzNy4DtTHo

También podría gustarte

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy