TAREA 1: PROPOSICIONES Y TABLAS DE VERDAD

NOMBRE DEL ESTUDIANTE:

CURSO: PENSAMIENTO LOGICO MATEMATICO

GRUPO:

TUTOR
YERSSON DAVID MOSQUERA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERA
XXXXX
2020
 2

TABLA DE CONTENIDO.

TABLA DE CONTENIDO.........................................................................................................2

INTRODUCCIÓN......................................................................................................................3

OBJETIVOS...............................................................................................................................4

EJERCICIO 1. CONCEPTUALIZACIÓN DE CUANTIFICADORES....................................5

EJERCICIO 2. PROPOSICIONES Y TABLAS DE LA VERDAD..........................................5

EJERCICIO 3: PROBLEMAS DE APLICACIÓN....................................................................7

BIBLIOGRAFIA........................................................................................................................9
 3

INTRODUCCIÓN

En este informe se desarrollan tres diferentes ejercicios relacionados con la lógica

proposicional. En el primero observamos la conceptualización de cuantificadores de la teoría de

conjuntos, los cuantificadores son expresiones simbólicas que se emplean en los mencionados

contextos para poder determinar la cantidad o el tipo de elementos que integran un conjunto dado

en una proposición y que cumplen con determinada propiedad. entendiendo que hay dos tipos de

este, están los cuantificadores universales y cuantificadores existenciales

En el segundo ejercicio hablamos de lógica proposicional para analizar las proposiciones, esta

se basa en símbolos y tablas de verdad, que nos permite ver lo verdadero o falso de las

proposiciones,

En tercer ejercicio realizamos la proposición en lenguaje natural basados en el lenguaje

simbólico planteado, separándolo en proposiciones simples y así desarrollar la tabla de verdad.

 4

OBJETIVOS

 Reconocer cuales son las proposiciones simples y compuestas, cuantificadores y

conectores.

 Aprender a desarrollar una tabla de verdad y a determinar qué tipo de tabla es si

tautológica, contradicción y contingencia.
 5

EJERCICIO 1. CONCEPTUALIZACIÓN DE CUANTIFICADORES

https://prezi.com/view/5UbTrrCq6lpor3ZvXpc8/

EJERCICIO 2. PROPOSICIONES Y TABLAS DE LA VERDAD

D. Si las películas de Marvel han sido las más taquilleras en los últimos años entonces, la

gran mayoría de las personas las han visto y si la gran mayoría de las personas no las han visto

entonces The Avengers no es una película taquillera.

(p): Las películas de Marvel han sido las mas taquilleras de los últimos años

(q): La gran mayoría de las personas la han visto

(r) The Avengers es una película taquillera

Lenguaje simbólico o formal:

 (p→q) ∧ (~q→~r)

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

V V V V F V F
V V V V F V V
V F F V V F F
V F F F V V V
F V V V F V F
F V V V F V V
F F F V V F F
F F F F V V V
 6

Simulador lógica UNAD

La anterior proposición compuesta es una Contingencia.

EJERCICIO 3: PROBLEMAS DE APLICACIÓN

 7

Carlos puede estudiar en la UNAD si y solo si la UNAD es una universidad publica y estudiara

la carrera que le gusta o la que le conviene económicamente.

Lenguaje Simbólico:

{𝑝 ⟷ [𝑞 ∧ (𝑟 ∨ 𝑠)]}

p: Carlos puede estudiar en la UNAD

q: La UNAD es una Universidad Pública

r: Estudiara la carrera que le gusta

s: Estudiara la carrera que le conviene

p q r s (𝑟 ∨ 𝑠) [𝑞 ∧ (𝑟 ∨ 𝑠)] {𝑝 ⟷ [𝑞 ∧ (𝑟 ∨ 𝑠)]}
V V V V V V V
V V V F V V V
V V F V V V V
V V F F F F F
V F V V V F F
V F V F V F F
V F F V V F F
V F F F F F F
F V V V V V F
F V V F V V F
F V F V V V F
F V F F F F V
F F V V V F V
F F V F V F V
F F F V V F V
F F F F F F V

Simulador lógica UNAD

 8

La anterior proposición compuesta es una Contingencia

 9

BIBLIOGRAFIA

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

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid.

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.