Licenciatura en Lengua Extranjera con énfasis en Ingles

Pensamiento Lógico Matemático

Proposiciones y tabla de verdad.

Estudiante:
Marolyn Julissa Díaz Vidal
CC. 1.123.318.428
Cód. 200611

Tutor:
Aura Elisa Quezada

Universidad Nacional Abierta y a Distancia UNAD

Zona Sur- Puerto Asís
Marzo/2019
Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que revise en el

Entorno de Conocimiento (Unidad 1), las siguientes referencias:

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras

algebraicas y fundamentos de álgebra lineal. Volumen I:
conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores.
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid.

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en

lenguaje simbólico (argumento) para el desarrollo del ejercicio
3:

A. ( p ∧q ) → ( r ∨ ¬q )
B. ( ¬ p → q ) ∧ ( r ∨q )
C. ( p ↔¬ q ) ∨ ( q ∧ r )
D. ( p ∧q ) → ( q ∨¬ r )
E. ( p →r ) ∧ ( q ∨ ¬ p )

A partir de la proposición compuesta en lenguaje simbólico que

haya seleccionado deberá:
  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.

D . ( p ∧ q ) → ( q ∨ ¬r )

Roberth es un estudiante de psicología y Julissa es una

estudiante de inglés entonces Julissa es una estudiante de inglés
o no desea estudiar psicología.

P: Roberth es un estudiante de psicología

Q: Julissa es una estudiante de ingles

R: No desea estudiar psicología.

 Generar una tabla de verdad con el simulador Lógica UNAD

a partir del lenguaje simbólico (El estudiante encontrará la
Guía para el uso de recursos educativos Simulador Lógica
UNAD, en el Entorno de Aprendizaje Práctico, así como el
link de acceso al recurso)
  Generar una tabla de verdad manualmente a partir del
lenguaje simbólico (En Word, Excel o foto del desarrollo
manual).
23= 2x2x2=8

p q r (p ˄ q) → (q ˅ ~r)
v v v v v v v v v v
v v f v v v v v v f
v f v v f f v f v v
v f f v f f v f f f
f v v f f v v v v v
f v f f f v v v v f
f f v f f f v f v v
f f f f f f v f f f

 Definir si el argumento seleccionado inicialmente es una

tautología, contradicción o contingencia

El argumento es una TAUTOLOGIA, Porque el operador todos son

verdaderos.