Unidad 1

Pensamiento lógico matemático

Preposiciones y tabla de verdad

Presentado por:

Paubla milena Carvajal romero

Grupo: 200611_125

Tutor:

Darwin William barros

Pensamiento Lógico y Matemático

Universidad Nacional Abierta y a Distancia

UNAD

Ibagué

2019
 INTRODUCCION

En este trabajo reforzaremos los conceptos de Lógica proposicional, tablas de verdad en

proposiciones compuestas, álgebra de proposiciones, tautologías y contradicciones y

contingencias, proposiciones categóricas, cuantificadores; mediante el desarrollo de ejercicios, el

uso del simulador. Además, se hace uso de la herramienta power poind para representar de

manera gráfica la definición y ejemplos de cuantificadores.

OBJETIVOS

General

Conocer y aplicar los conceptos de cuantificador universal afirmativo, teoría de conjuntos y

proposiciones en el desarrollo de los ejercicios planteados utilizando las herramientas

brindadas.

Específicos

 Analizar cada una de las temáticas a desarrollar.

 Identificar el concepto de cuantificador universal afirmativo y ejemplos.

 Desarrollar ejercicios aplicando la teoría de conjuntos.

 Dar uso al simulador para generar tablas de verdad.

 Aplicar los conocimientos adquiridos en esta temática para desarrollar los ejercicios

planteados
Descripción del ejercicio N° 1

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

Actividad N° 2

Descripción del ejercicio:

A continuación, encontrara los argumentos para el desarrollo del ejercicio 2 :

A) Si estudio en la UNAD entonces podre cumplir mis sueños, si y solo si soy dedicado

con mis estudios y aprovecho el acompañamiento académicos los centros.

A partir del Argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Definir las proporciones simples del argumento.

RTA:

 Estudio en la UNAD

 Podre cumplir mis sueños

 Dedicada con mis estudios

 Definirla expresión del argumento en lenguaje simbólico o formar

RTA:

 P: si estudio en la UNAD entonces ´podre cumplir mis sueños, si y solo si soy

dedicada con mis estudios y aprovecho el acompañamiento académicos los

centros.

 (p⟶q) ∧ (q r)

 Generar una tabla de verdad con el simulador lógico simbólico.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

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

RTA:

TABLA DE LA VERDAD

p q r

(p⟶q) ∧(q r )

v v V V

v v F F

v f V F

v f F F

f v V V

f v F F

f f V F

f f F V

R/ Resultado de la tabla de verdad Es tautología

Actividad 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) ∧ (∼ p ⟶ r)] ⟶ (∼ r ⟶ 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

RTA:

Soy estudiante de ingeniería, si las prácticas de laboratorio son este martes, no podre

asistir si no realizo los experimentos obtendré una nota baja.

 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 considerará como copia y se

tomarán las medidas correctivas estipuladas por la UNAD.

RTA:

P = ESTUDIANTE DE INGENERIA

Q = PRACTICAS DE LABORATORIO

R= NOTAS BAJA
  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)

RTA:

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En

Word, Excel o foto del desarrollo manual).

 Tabla de la verdad

p Q r [(p ⟶ q) ∧ (∼ p ⟶ r)] ⟶ (

∼ r ⟶ p)

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

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia

RTA:

Resultado de la tabla de verdad Es tautología

Actividad 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:

B)

[(p ⟶ q) ∧ (∼ p ⟶ r)] ⟶ (∼ r ⟶ 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

RTA:

Soy estudiante de ingeniería, si las prácticas de laboratorio son este martes, no podre

asistir si no realizo los experimentos obtendré una nota baja.

 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 considerará como copia y se

tomarán las medidas correctivas estipuladas por la UNAD.

RTA:

P = ESTUDIANTE DE INGENERIA

Q = PRACTICAS DE LABORATORIO

R= NOTAS BAJA
  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)

RTA:

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En

Word, Excel o foto del desarrollo manual).

 Tabla de la verdad

p q R [(p ⟶ q) ∧ (∼ p ⟶ r)] ⟶ (

∼ r ⟶ p)

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

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia

RTA:

Resultado de la tabla de verdad Es tautología

 CONCLUSION

Con este trabajo se logra comprender el concepto de cuantificadores, proposiciones y el manejo

de una nueva herramienta como lo es la tabla de verdad, la cual muestra el valor de verdad de

una proposición compuesta, como también el desarrollo de problemas de la Lógica Proposicional

y la forma de aplicarlos para solucionar problemas habituales por medio de tablas de verdad de

forma manual como también utilizando el simulador Lógica UNAD.

 BIBLIOGRAFIA

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

de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=32

26457&tm=1529246259924

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

(pp. 106 - 112). Ediciones Elizcom, Madrid.

 Marin J. (2019). [Simulador Lógica UNAD]. Recuperado

de: http://logicaunad.com/jtruth/