Universidad Nacional Abierta y a Distancia

UNAD

Nombre:

Elquedis Delgado López

Código:

1.081.027.323

Tutor:

Ever Antonio polo

Periodo:

16-01

Curso:

Pensamiento Lógico y Matemático

200611_676

Barranquilla-Atlántico

Marzo 10 de 2019
 INTRODUCCION

Analizar y desarrollar amplios conocimientos de la lógica matemática.

 OBJETIVO

 Participar asertivamente en la realización de los ejercicios planteados por

el tutor.
Ejercicio 1: Conceptualización de Cuantificadores

D. Cuantificador Existencial Único.

Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

D. Juan juega básquet por hobby o practica tenis de forma profesional. Si
practica tenis de forma profesional entonces juega por más de tres
horas diarias y quema muchas calorías.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:

 Definir proposiciones simples del argumento.

Juan juega básquet por hobby o practica tenis de forma profesional. Si
practica tenis de forma profesional entonces juega por más de tres horas
diarias y quema muchas calorías.

s: Juan juega básquet por hobby

t: practica tenis de forma profesional
r: juega por más de tres horas diarias
p: quema muchas calorías.

 Definir la expresión del argumento en lenguaje simbólico o formal.

Lenguaje simbólico: (s v t) → (r ∧ p)

 Tabla: simulador lógico UNAD

  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 r s t (s v t) (r∧ p) (s v t)→ (r∧ p)

V V V V V V V

V V V F V V V

V V F V V V V

V V F F V F V

V F v V F V F

V F V F F V F

v F F V F V F

V F F F F V V

F V V V F V F

F V V F F V F

F V F V F V F

F V F F F V V

F F V V F V F

F F V F F V F

F F F V F V F

F F F F F V V

 El resultado de la tabla de verdad es Contingencia.

Ejercicio 3: Problemas de aplicación

A continuación, encontrará proposiciones compuestas en lenguaje simbólico

(argumento) para el desarrollo del ejercicio 3:
D. (𝑝 ∧ 𝑞) → (𝑞 ∨ ¬𝑟)

• 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

p: José jugó en las olimpiadas

q: José jugó ajedrez
-r: no clasifico al campeonato

• Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría de cada
estudiante.

José jugó en las olimpiadas y José jugó ajedrez entonces José jugó ajedrez o no
clasifico al campeonato.
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico

• Generar una tabla de verdad manualmente a partir del lenguaje

simbólico.

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

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

• Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia

El resultado de la tabla de verdad es: Tautología.

 CONCLUSIÓN
Realización del trabajo aclarando dudas con el material asignado por el profesor.
 REFERENCIAS BIBLIOGRÁFICAS

https://ciencias-basicas.com/cursos-gratuitos-de-matematica/matematica-
superior-1/teoria-de-
conjuntos/cuantificadores/#Cuantificador_EXISTENCIAL_UNICA

https://campus08.unad.edu.co/ecbti47/mod/forum/discuss.php?d=3671

https://campus0a.unad.edu.co/campus/miscursos.php