PENSAMIENTO LOGICO Y MATEMATICO

Unidad 1 Tarea 1

Proposiciones y Tablas de Verdad

Entregado por:

Miguel Alberto Moron Serpa

Grupo 200611_393

Tutor

Jeisson Danilo España Fernández

Universidad Nacional Abierta y a Distancia “UNAD”

Abril 2020
 Introducción

El principal objetivo de este trabajo es profundizar en el conocimiento con respecto a los temas
planteados referentes a la Unidad 1, Tarea 1 Proposiciones y Tablas de Verdad del curso de Pensamiento
Lógico Matemático. De tal forma que pueda llegar a entender cada uno de los procesos planteados
parea que llegado el caso puedan ser aplicados como una herramienta muy valiosa en nuestra vida
profesional.
Además, cabe resaltar que los temas a tratar en este trabajo son los cuantificadores, Proposiciones y
Tablas de Verdad, Utilizando como herramienta importante los mecanismos que nos ofrece la
tecnología.

Finalmente cabe agradecer al Tutor Jeisson Danilo España Fernández por permitirnos desarrollar y
guiarnos para el correcto desarrollo de esta actividad.
 Objetivos

 Tener amplio conocimiento del tema para y poder determinar con claridad todo lo
referente a los cuantificadores y las funciones de cada uno de ellos.
 Identificar lo que son las proposiciones.
 Definir y aplicar los tipos de lenguajes ¨Simbólico o Formal¨ a las expresiones
dadas en los argumentos.
 Llegar a poder tener una muy buena aplicación de la herramienta del simulador
LOGICA DE LA UNAD
 Analizar con claridad los temas en general y poder llegar a aplicar cada uno de sus
requerimientos para llegar a un desarrollo integral donde obtenga un conocimiento
que genere una enseñanza constructiva.
 Al finalizar el trabajo el estudiante debe encontrarse con la capacidad de proponer
situaciones referentes a los temas planteados en la actividad.
Para el desarrollo del trabajo se escogieron los ejercicios correspondientes a la letra C

C. CUANTIFICADOR EXISTENCIAL

Es el que tiene un solo valor de verdad ¨X¨ que hace verdadera la proposición dada.
Se representa con el símbolo ꓱ como podemos darnos cuenta es como una e al contrario. Pero
el cuantificador Existencial también tiene su negación ꓱ.
Algunas frases con las que se identifican generalmente este cuantificador son:

 Existe un
 Para algún X
 Al menos para un
 Existe al menos un X
 Para algunos X
 Existe un X tal que
 Algún X
 Cuando menos un X

Esta es la forma como vamos a leer la expresión cuando la tengamos:

Ej: Dada la Expresión (ꓱ x Ꞓ Ζ ) ( X + 1 =0) observemos esta expresión como simbolismo

matemático, como podemos leerla de la siguiente manera

 Existe un numero entero X, tal que X más uno es igual a 0

 Para algún número entero X, X más uno es igual a cero
 Al menos para un numero entero X, X más uno es igual a cero

Vamos a ver de dónde sale cada parte de expresión

ꓱ x Ꞓ Ζ (x + 1 = 0)

 Existe un numero entero x, tal que x más uno es igual acero

 Para algún número entero x, x más uno es igual acero
 Al menos para un numero entero x, x más uno es igual a cero

Análisis

 Tenemos el existe en “Existe un”

 Parte de nuestra expresión o simbolismo matemático x que pertenece a los enteros, lo
traduzco como Un numero entero x
Agregándole el cuantificador Existencial queda Existe un numero entero x
 Finalmente (x+1=0) y eso lo podemos ver en las tres expresiones
Tal que x más uno es igual a cero
X más uno es igual a cero
X más uno es igual a cero

Podemos ver de dónde sacamos cada una de las expresiones del simbolismo matemático.

EJEMPLOS

Escriba en forma simbólica la siguiente expresión.

1. Existe un número real x, tal que la raíz cuadrada de x es igual a 2

(ꓱxꞒR)¿

2. Para algunos campesinos el invierno no es un problema

ꓱ x P (x)

3. Hay al menos un hincha del atlético nacional dentro del salón

ꓱ x P (x) (se lee “hay x tal que P (x)

4. Existe un numero x en W, tal que X menos cinco es igual a nueve

( ꓱ x € W ) ( X -5 = 9).

Ejercicio 2: Proposiciones y Tablas de Verdad

Ejercicio propuesto:

C. Si el uso de computador es muy básico en la UNAD y Juan no tiene computador, entonces

tendrá dificultad para estudiar o irá al CEAD más cercano para usar los que la universidad le
ofrece.
  Proposiciones simples del argumento.

p: El uso de computador es muy básico en la UNAD.

q: Juan tiene computador.
r: Juan tendrá dificultad para estudiar.
s: Juan irá al CEAD más cercano para usar los que la universidad le ofrece.

Expresión del argumento en lenguaje simbólico o formal.

( p ∧ q) →(r ∨s )

Tabla de verdad con el simulador Lógica UNAD

 Tabla de verdad realizada manualmente

p q ~ r s ( p ∧ q) (r ∨ s) ( p ∧ q) →(r ∨s )
q

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

El resultado que arroja la siguiente tabla podemos concluir que es una

contingencia.

recordemos que una contingencia es cuando en una proposición compuesta el resultado de esta en
la tabla al final da valores “V y F “

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio

A continuación, encontrara proposiciones compuestas en lenguaje simbólico (argumento) para el

desarrollo del ejercicio 3:

C. ( r ˅¬ q ) →¬ p

 Variables simbólicas llevada a lenguaje Natural.

Miguel juega futbol o no juega basquetbol, entonces no juega beisbol Miguel

r= Miguel juega Futbol

q= juega basquetbol

p= Miguel juega beisbol

Tabla de verdad manual a partir del lenguaje simbólico en Excel

(r˅¬q)→¬
p (r˅¬q)→¬p    
ꓑ q r ¬q r˅¬q ¬p (r˅¬q)→¬p
V V V F V F F
 V V F F F F V
V F V V V F F
V F F V V F F
F V V F V V V
F V F F F V V
F F V V V V V
F F F V V V V

Tabla de verdad generada con el simulador LOGICA UNAD a partir del lenguaje simbólico
Según el resultado final de la tabla esta proposición es una contingencia

 Presentación en diapositivas sobre Cuantificador Existencial en lace

https://prezi.com/i/7qw2ynocud7j/

Conclusión

A lo largo del presente trabajo se logró identificar y aplicar los conocimientos obtenidos a través
de los planteamientos de los temas propuesto por el Tutor, se pudo identificar la importancia de
utilizar los cuantificadores, a demás fue de suma importancia identificar como se forma una
proposición, que podemos hacer con ella para llevarlas bien sea al idioma simbólico o al real.
Gracias a las herramientas informativas y tecnológicas aportadas por el Tutor, este trabajo se fue
desarrollando de una manera exitosa bajo los planteamientos requeridos para aportar nuevos
conocimientos al estudiante.

Bibliografías

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
 de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=12

 youtube.com/watch?v=WDctu8MMPTU.

 https://www.google.com/search?
rlz=1C1CHBF_esCO894CO894&sxsrf=ALeKk01wbMMOeLq1JB_KFdGXOkAZo3Hxzw
%3A1588210406908&ei=5iqqXsj2NqK0gge3nr-
4Dg&q=QUE+ES+UNA+PROPOSICION&oq=QUE+ES+UNA+PROPOSICION&gs_lcp=CgZwc
3ktYWIQAzICCAAyAggAMgcIABAUEIcCMgIIADICCAAyAggAMgIIADICCAAyAggAMgIIADoE
CAAQRzoFCAAQgwE6BwgjEOoCECc6BAgjECc6BAgAEENQhzVYgpcBYLifAWgBcAJ4CIAB8
wWIAag-kgEPMC4xNi4xMC4yLjIuMS4xmAEAoAEBqgEHZ3dzLXdperABCg&sclient=psy-
ab&ved=0ahUKEwjIgYfpgI_pAhUimuAKHTfPD-cQ4dUDCAw&uact=5.

 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 https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3226457&ppg=20.

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=12.

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

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=109.

 Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de

proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961