Está en la página 1de 11

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
INTRODUCCIÓN.
Este trabajo consta de tres actividades las cuales podemos fortalecer nuestros

conocimientos sobre las preposiciones y las tablas de verdad


OBJETIVOS GENERALES Y ESPECIFICOS

 Crear mapas mentales de forma correcta para el buen manejo de la lógica

matemática.

 Realizar textos el cual conlleven conectores simples.

 Conocer los símbolos adecuados en este tema de lógica matemática.


Ejercicio 1: Conceptualización de Cuantificadores

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

(Unidad 1), la siguiente referencia:

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger uno de

los siguientes temas y presentarlo de manera gráfica a través de una presentación,

utilizando un recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital. A partir

del tema deberá dar su definición y dos ejemplos.

D: CUANTIFICADOR EXISTENCIAL UNICO.

https://prezi.com/view/xp4OSKdARHkWzworTYT3/
Ejercicio 2: Proposiciones y Tablas de verdad

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.

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2.

D. Juan juega básquet por hobby o practica tenis de forma profesional. Si

práctica 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 las proposiciones simples del argumento.

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


 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 y

determinar si el resultado es una tautología, contingencia o contradicción.

E. Juan juega básquet por hobby o practica tenis de forma profesional. Si

práctica tenis de forma profesional entonces juega por más de tres horas

diarias y quema muchas calorías.

p: Juan juega básquet por hobby.

q: Practica tenis de forma profesional.

r: Si practica tenis de forma profesional.

s: Juega por más de tres horas diarias.

t: Quema muchas calorías.

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

 Juan juega básquet por hobby o Practica tenis de forma profesional.

P ˅ q

 Si practica tenis de forma profesional entonces juega por más de tres horas diarias
r → s

 juega por más de tres horas diarias y quema muchas calorías.

S ˄ t

LENGUAJE SIMBOLICO (P ˅ q) r → s ˄ t

 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.

( (
F V F V V F V V F VV V V
F V F V F F V V F VV V F
F V F F V F V V F VV F F
F V F F F F V V F VV F F
F F V V V F F F V VV V V
F F V V F F F F V VF V F
F F V F V F F F V VF F F
F F V F F F F F V VF F F
F F F V V F F F F VV V V
F F F V F F F F F VV V F
F F F F V F F F F VV F F
F F F F F F F F F VV F F

25= 2x2x2x2x2= 32 líneas.

ESTA TABLA DE VERDAD ES DE CONTINGENCIA.

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 ˅
p q r 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 los operadores todos son verdaderos.

CONCLUSIÓN

El anterior trabajo representa el manejo de proposiciones y tablas de verdad el cual cada


paso que otorguemos podemos conocer mejor sobre este tema y sobre las clases de tablas
de verdad que existen como la tautología, contradicción y contingencia.

También podría gustarte