Scribd
Cargar
41 vistas5 páginas

Análisis de Proposición Lógica UNAD

Este documento presenta un ejercicio lógico que involucra una proposición compuesta en lenguaje simbólico. El estudiante debe definir las proposiciones simples en un contexto académico, traducir la proposición compuesta al lenguaje natural, generar tablas de verdad manual y con simulador, y determinar si la proposición es una tautología, contradicción o contingencia. La solución proporcionada por el estudiante define las proposiciones, traduce la proposición al lenguaje natural,

Cargado por

Angel Ramirez
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
41 vistas5 páginas

Análisis de Proposición Lógica UNAD

Este documento presenta un ejercicio lógico que involucra una proposición compuesta en lenguaje simbólico. El estudiante debe definir las proposiciones simples en un contexto académico, traducir la proposición compuesta al lenguaje natural, generar tablas de verdad manual y con simulador, y determinar si la proposición es una tautología, contradicción o contingencia. La solución proporcionada por el estudiante define las proposiciones, traduce la proposición al lenguaje natural,

Cargado por

Angel Ramirez
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

Ejercicio 3– Unidad 1

Sonia Dorayi Escobar Girón Cód.:200611 Grupo 545

Septiembre de 2018

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Pensamiento Lógico y Matemático


D- {[𝑝→(𝑞∨𝑟)]∧(p→∼𝑟)∧ r}→𝑞
A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá:
1. Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico, ejemplo:

p: Carlos estudia en la UNAD. q: La UNAD es una Universidad Pública

2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las


proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las
medidas correctivas estipuladas por la UNAD.
3. Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico
(El estudiante encontrará la Guía para el uso de recursos educativos Simulador TRUTH,
en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)
4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
5. Definir si el argumento seleccionado inicialmente es una tautología, contradicción o
contingencia

Solución
1. Dado lo complejo de escribir la proposición en lenguaje natural con solo tres letras o
expresiones, empleé la misma estructura con más letras.

{[𝑝→(𝑞∨𝑟)]∧(o→∼m)∧ w}→z

p: Estudiar mucho.
q: Yo aprenderé.
r: Yo ganaré las evaluaciones.
o: Permanezco concentrado.
m: Fallaré con mis notas.
w: Me sentiré tranquilo al final del semestre
z: Estudiaré muy concentradamente.

2. Si estudio mucho entonces aprenderé y ganaré las evaluaciones, y si permanezco


concentrado no fallaré en mis notas y me sentiré tranquilo al final del semestre,
entonces estudiaré muy concentradamente.

3. Simulador tabla de la verdad


4. Tabla de la verdad

Paso 1

p q q
v V V
v V F
v F V
f V V
f F V
f V F
v F F

Paso 3

p (qVr) 𝑝→(𝑞∨𝑟)
v v v
v v v
v v V
f v V
f f V
f v V
f v V
v f F
Paso 3

p ∼𝑟 r (p→∼𝑟)
v f v f
v v f f
v f v f
f f v v
f v f v
f f v v
f V f v
v V f v

Paso 4

(p→∼𝑟) r (p→∼𝑟)∧ r
f V f
v f f
f V f
v V v
v F f
v V v
v F f
v F f

Paso 5

𝑝→(𝑞∨𝑟) (p→∼𝑟)∧ r {[𝑝→(𝑞∨𝑟)]∧(p→∼𝑟)∧ r}


v f f
v f f
v f f
v f f
v f f
v v v
v f f
f f f
Paso 6

{[𝑝→(𝑞∨𝑟)]∧(p→∼𝑟)∧ r} q {[𝑝→(𝑞∨𝑟)]∧(p→∼𝑟)∧ r}→𝑞

f v v
f v v
f f v
f v v
f f v
v f f
f v v
f f v

5. La proposición es una contingencia.

También podría gustarte