UNIDAD1: TAREA 1- PROPOSICIOES Y TABLA DE VERDAD

PENSAMIENTO LOGICO Y MATEMATICO

MARENA VARGAS DIAZ

CÓDIGO: 1.193.256.512

No. DE GRUPO: 200611_366

TUTOR:

DARWIN WILLIAN BARROS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCULA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

CEAD:COROZAL-SUC
 Introducción

El presente trabajo individual tiene como objetivo dar conocer el

desarrollo de los respectivos ejercicios a la primera unidad del curso de
pensamiento lógico y matemático.

Para poder desarrollar los ejercicios, es esencial entender que la lógica

matemática es una de las ramas de la matemática que se encarga de las
estructuras básicas de los diferentes razonamientos. Habitualmente las
expresiones matemáticas se conocen como proposiciones y estas son
demostradas a través de la lógica proporcional se busca que el estudiante
afiance sus conocimientos en la lógica proporcional.
 Objetivos

Objetivo General: simplificar lo aprendido en la primera sobre la lógica

proporcional mediante la iniciativa del cuadro de ejercicios establecidos
por el tutor, por otro lado interpretar y construir los diferentes
resultados arrojados por las tablas de verdad.

Objetivo específico:

 Construir tablas de verdad utilizando los conectores lógicos y

sus diferentes tablas.

 Representar las diferentes proposiciones en el lenguaje

simbólico o formal.

 Comprender conceptos fundamentales de lógica

proporcional.
 Ejercicio 1: conceptualización de cuantificadores

Descripción: con base a lo escogido el estudiante debe escoger uno de

los siguientes temas y presentarlos gráficamente a través de una
presentación utilizando los recursos educativos tipo PowerPoint, Prezi u
otra herramienta digital. A partir del tema escogido se deberá dar su
definición y ejemplos.

Mi tema escogido fue:

B. Cuantificador Universal Negativo:

-El cuantificador universal negativo se utiliza para afirmar que ninguno

de los elementos de un conjunto cumplen con una determinada
propiedad su representación simbólica es (∀) en la lógica se usa para
decir “para todo”.

Las frases que comúnmente se utilizan para denotar el cuantificador

universal negativo son:

 Para ningún x
 Ninguno
 No
 Nadie
 Nada
Ejemplos:

-Para todo x, x no es unidista

∀x (¬unidista (x))

-Nadie aprobó el curso de lógica matemática

∀x (¬aprobó)

-para ningún estudiante es importante estudiar o aprobar

∀x (estudiante (x)) Estudiar (x) v A Aprobar (x)

 Ejercicio 2: proposiciones y tablas de verdad

Descripción del ejercicio:

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

ejercicio 2:

B. Si el américa clasifica a la Copa Libertadores, entonces jugara más

partidos o podrá mostrar más sus jugadores.

A partir del siguiente argumento, doy respuesta a los siguientes ítems

-Definición de las proposiciones simples del argumento:

 P: El américa clasifica a la Copa Libertadores
 q: jugara más partidos
 r: podrá mostrar más a sus jugadores

-Definición de la expresión del argumento en lenguaje simbólico o

formal.

(P q) V r
-Tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.

- Tabla de verdad manualmente a partir el lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o
contradicción
 p q r Pvq (p q) v r

V V V V V

V V F V V

V F V V V

v F F V V

F V V V V

F V F V V

F F V F V

F F F F V

Obtuvimos un resultado de es una tautología

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio

Proposiciones compuestas en lenguaje simbólico (argumento) para el

desarrollo del ejercicio 3

Expresión simbólica:

B. (p∧ q) ∧ (¬p ∧¬q)

- Definición de las proposiciones simples, tendrá la libertad de

definirla bajo una descripción basada en un contexto.

Lenguaje natural de la expresión formal:

Marena se matriculo y estudia en la UNAD, no es cierto que Marena se

matriculo y no estudia en la UNAD

Definición de las proposiciones simple:

P: Marena se matriculo

q: estudia en la UNAD
-Generar tabla de verdad con el simulador de Lógica UNAD

P q (p ∧q) ¬p ¬q (p ∧ q) ∧
(¬p ∧¬q)
V V V F F F

V F F F V F

F V F V F F

F F F V V F

-General una tabla de verdad manualmente en word

Obtuvimos un resultado de contradicción

 Conclusiones

Se puede concluir que durante el desarrollo de este trabajo, pudimos

analizar y comprender el manejo de nuevas herramientas, como la tabla
de verdad para una proposición compuesta.

Poder darle solución a los problemas plateados de lógica proporcional,

definiéndolos en expresiones simbólicas o formales, de esta forma
pudimos obtener nuevos saberes y conocimientos, analizando la
aplicación de tablas de verdad en la vida real para así tomar decisiones
adecuadas y poder darle un mejor desarrollo a su pensamiento lógico.

Referencia Bibliográfica:

Bibliografía:https://sites.goo
gle.com/site/mathematicasd
iscretesolutions/logica-de-
po/cuantificadores

Bibliografía:https://ebookc
entral-proquest-
com.bibliotecavirtual.unad.e
du.co/lib/unadsp/reader.acti
on?
docID=3199701&ppg=109

https://www.youtube.com/
watch?v=0rxtSkNZdN8

Bibliografía:https://www.y
outube.com/watch?
v=L69ygPEeq7M&list=PL3w
5O-
2NCm7KWm_08NAJZ5WvJH
tFLL87P&index=2