Pensamiento lógico matemático

Profesor tutor: Aura Elisa Quesada

Profesor director de curso: Carolina Castaño

Ejercicio 2- Proposiciones y Tablas de verdad

Nombre: Sandra Yulieth Bedoya Valderrama

Código del estudiante: 1006512270

Puerto Leguizamo/septiembre/2019
 Introducción

Este trabajo lo realice con la finalidad de obtener más conocimiento en

los siguientes temas: la lógica de proposiciones que permite describir
razonamientos basados en enunciados declarativos, tablas de verdad que
dan a conocer los valores de una proposición compuesta, los cuales
dependen de los conectivos utilizados
 Objetivos

El objetivo principal de este trabajo es comprender los conceptos

fundamentales de la lógica proposicional y aplicarlos para la resolución de
problemas.
EJERCICIO 1: CONSEPTUALIZACION DE CUANTIFICADORES

CUANTIFICADOR EXISTENCIAL

Se usa para indicar que algún o algunos valores son verdaderos dentro
de un dominio o contexto especifico
Siendo ∃ el símbolo de cuantificador existencial y se lee “existe por lo
menos uno”

Algunas de las frases con la que se identifica generalmente este

cuantificador son:

 Existe al menos un x
 Para algún x
 Para algunos x
 Existe un x tal que
 Algunos x
 Cuando menos un x

Su formato es ∃xEA; P(x)

Se lee: existe por lo menos un x que pertenece al conjunto A ¿y cumple
con la función proporcional?

Ejemplo 1

si se quiere representar la expresión: “Existe al menos un mexicano que

escribe poemas y es político”, se puede formalizar de la siguiente
manera:

∃x (mexicano (x) escribe poema (x) ^ político(x))

Ejemplo 2

Si se desea representar la expresión “algunos estudiantes son

deportistas”, se podría reestructurar y representar de la siguiente
manera

∃x (universitario (x) ^ deportista (x))

Argumento para el desarrollo del 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

• Definir las proposiciones simples del argumento.

p. empresas estadounidenses no pueden negociar con empresas chinas

q. Google es una empresa estadounidense

r. Huawei es una empresa china

s. Huawei no tiene Android de Google

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

(p v q) Λ (r s)
• Generar una tabla de verdad con el simulador Lógica UNAD a
partir del lenguaje simbólico.
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).

P q r s pvq r s (pvq) Λ (r s)

v V V V V V V

V V V F V F F

V V F V V F V

V V F F V V V

V F V V V V V

V F V F V F F

V F F V V F V

V F F F V V V

F V V V V V V

F V V F V F F

F V F V V F F

F V F F V V V

F F V V f V F

F F V F F F F

F F F V F F F

F F F F F V F

 Resultado de la tabla de verdad: CONTIGENCIA

 Ejercicio 3: Problemas de aplicación

 Proposición compuesta en lenguaje simbólico:

C. [(𝑝 ⋁𝑞) ⟷ 𝑟]

 Definir las Proposiciones simples.

p. si Sandra presta atención en clases

q. Sandra aprueba el examen

r. no reprueba ninguna materia

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Si Sandra presta atención en clases, entonces Sandra aprueba el examen

por lo tanto no reprueba ninguna materia.
  Generar una tabla de verdad con el simulador Lógica UNAD a
partir del lenguaje simbólico

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).

P q r (pvq) [(pvq) r)

f F f F V

F F V F F

F V F V F

F V V V V

V F F V F
 V F V V V

V V F V F

V V v V V

 Resultado de la tabla de verdad: CONTIGENCIA

 Conclusiones

Con este trabajo logre comprender 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, para cada combinación de verdad que se pueda
asignar. Gracias a las actividades propuestas logre identificar y
comprender los elementos esenciales en la lógica proposicional y la forma
de aplicarlos para resolver problemas cotidianos por medio de tablas de
verdad.
 Bibliografía

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://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=109&docID=3199701&tm=1529510366591

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

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.