INTRODUCCION

En el presente trabajo encontrara el desarrollo de conceptos y ejemplos sobre logica

proposicional, escojere un ejercicio especifico le dare solucion usando lenguaje natural y formal
usando tablas de la verdad.

En parte la lógica matemática es la que les permite expresar clara y organizadamente

razonamientos porque cuenta con técnicas de demostración y analisis.

OBJETIVOS

 Introducción a la lógica matematica para que los estudiantes tengan más herramientas a
la hora argumentar sobre la validez de una proposición.
 Definir la expresión del argumento en lenguaje simbólico o formal
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar
si el resultado es una tautologia, contingencia o contradicción
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural
 Unidad 1 Pensamiento Lógíco Matemático

Blanca Leonor Linares Muñoz

Tutora:
Amelia Elizabeth Córdoba

Universidad Nacional Abierta y a Distancia

Escuela De Ciencias Sociales, Artes y Humanidades
Pensamiento Lógico Y Matemático - 200611_532
Barbosa,Santander
2019-09
Ejerccio 1

CUANTIFICADOR EXISTENCIAL

En el lenguaje de predicados en lógica matemática, se usa el símbolo: ∃, llamado cuantificador

existencial, antepuesto a una variable para decir que "existe" al menos un elemento
del conjunto al que hace referencia la variable, que cumple la proposición escrita a
continuación. Normalmente, en lógica, el conjunto al que se hace referencia es el universo o
dominio de referencia, que está formado por todas las constantes.
Si p(x) es un predicado cuya variable es x, entonces la afirmación “existe un x tal que p(x)”
es una proposición en la que diremos que la variable x está existencialmente cuantificada.

Ejemplo 1:
“Hay animales Carnívoros”

Escribir como:
“existe al menos un x, tal que x es animal y x es carnívoro”
Se simboliza:

(Ǝ x) (Ax Ʌ Cx)

Ejemplo 2:

“Algunos estudiantes del curso pensamiento logico matematico son mujeres”

Sea P(x):”x son mujeres”
Donde x:”alumnos del curso pensamiento logico matematico”
Entonces se puede presentar como:
Ǝx p(x)
“Existen algunos alumnos del curso pensamiento logico matematico que son mujeres”

Presentacion en Prezi:
https://prezi.com/p/jsud2bi7xelg/cuantificador-existencial/

 EJERCICIO 2

C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una

empresas estadounidenses y Si Huawei es una empresa china entonces no tiene Android de
Google.

Proposición Simple:

p = Empresas estadounidenses no negocian con empresas chinas

q = Google es una empresa estadounidense
r = Huawei es una empresa china
s =Huawei no tiene Android de Google

Lenguaje simbólico o formal:

(p ∨ q) ∧ (r → s)

 Generar una tabla de verdad con el simulador Lógica UNAD

 • Generar una tabla de verdad manualmente
(p ∨ q) ∧ (r → s)
p q r s (p ∨ q) (r → s)
V V V V V V V
V V V F V V F
V V F V V V V
V V F F V V V
V F V V V V V
V F V F V V F
V F F V V V V
V F F F V V V
F V V V V V V
F V V F V V F
F V F V V V V
F V F F V V V
F F V V F F F
F F V F F V F
F F F V F F F
F F F F F V F
Resultado de la tabla de verdad: CONTINGENCIA

Correccion ejercicio 2

C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una

empresa estadounidense y Si Huawei es una empresa china entonces no tiene Android de
Google.

Proposición Simple:

p = Empresas estadounidenses no negocian con empresas chinas

q = Google es una empresa estadounidense
r = Huawei es una empresa china
s =Huawei no tiene Android de Google

Lenguaje simbólico o formal:

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

 Generar una tabla de verdad con el simulador Lógica UNAD

• Generar una tabla de verdad manualmente

¬p (¬p ∨ q) ∧ (r →¬ s)
p q (¬p∨q) r ¬s (r → ¬s)
V F V V V F F F
V F V V F F V V
V F F F V V V F
V F F F F V V F
V F V V V F F F
V F V V F F V V
V F F F V V V F
V F F F F V V F
F V V V V F F F
F V V V F F V V
F V F V V V V V
F V F V F V V V
F V V V V F F F
F V V V F F V V
 F V F V V V V V
F V F V F V V V
Resultado de la tabla de verdad: CONTINGENCIA

EJERCICIO 3

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

 C . [( p ⋁ q ) ⟷ r ]

Ejemplo:
p: Blanca quiere ser buena estudiante
q: para obtener buenas calificaciones
r: ella estudia y participa activamente

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Blanca quiere ser buena estudiante obtener buenas calificaciones si y solo si ella estudia y
participa activamente

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
 Generar una tabla de la verdad manualmente a partir del lenguaje simbólico

A. [ ( p ⋁ q ) ⟷ r ]
p q p⋁q r
V V V V V
V F V F F
V V V V V
V F V F F
F V V V V
F F F F V
F V V V V
F F F F V
Resultado de la tabla de verdad: CONTINGENCIA
 CONCLUSIONES

 Aprender, comprender y analizar los diferentes conceptos fundamentales par a resolver

problemas usando los diferentes medios que nos brinda la UNAD como lo es el
simulador lógico UNAD.
 La logica matematica nos ayuda en nuestra vida diaria y carreras profesionales a resolver
situaciones y problematicas de nuestro entorno brindandonos las mejores opciones y
soluciones.
 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=3226457&tm=1529246259924
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 9-
28) (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013

Moscote, H. (2016). Aplicación de las tablas de verdad en el álgebra de proposiciones, [Video].

Recuperado de http://hdl.handle.net/10596/7961