Unidad 1

Camilo Andres Lozada Perez

Tutor

Sandra Johanna Dominguez

Universidad Nacional Abierta y a Distancia

Pensamiento Lógico Matemático

Ibagué-Tolima

2020
 INTRODUCCION
El presente trabajo comprendemos, analizamos y ponemos en práctica la tabla de verdad,
las proposiciones simples y a usar el simulador de Lógica UNAD.
 OBJETIVOS
 Comprender y realizar tablas de verdad
 Aprender a definir una proposición simple
 Usar el simulador de Lógica UNAD
 Aprender a diferenciar si es tautología, contingencia ó contradicción.
 EJERCICIO 1
CUANTIFICADORES

Los cuantificadores son aquellos símbolos utilizados en una proposición lógica para indicar
cuantos elementos de un conjunto dado cumplen con cierta propiedad. Los cuantificadores
permiten la construcción de proposiciones a partir de funciones proposicionales, bien sea
particularizando o generalizando.

El cuantificador existencial con marca de unicidad se usa para indicar que hay un único
elemento de un conjunto A que cumple una determinada propiedad. Se escribe:

Se lee:
Existe un único elemento x de A, que cumple P(x).

EJEMPLOS:

1. EXISTE UN ÚNICO NÚMERO REAL QUE SU CUADRADO ES –5

 EXISTE UNO Y SOLO UN X EN A TAL QUE P(X)

2. ES PROFESOR DE LÓGICA MATEMÁTICA DE LA UNIVERSIDAD

 PARA ALGÚN X EN A, P(X)

Link de presentación en Power Point: https://unadvirtualedu-

my.sharepoint.com/:p:/g/personal/calozadap_unadvirtual_edu_co/EU60Z4U_J51Io8zB6
FX5SJwB46J9aajhLVAGbNIZ7LV3MA?e=rbEPKP
 EJERCICIO 2

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.

 PROPOSICIONES SIMPLES:

p: Si las películas de Marvel han sido las más taquilleras en los últimos años

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

¬q: si la gran mayoría de las personas no las han visto entonces

¬r: The Avengers no es una película taquillera.

 EXPRESIÓN DEL ARGUMENTO EN LENGUAJE SIMBÓLICO O

FORMAL
 TABLA DE VERDAD DE LOGICA UNAD

 TABLA MANUAL
p q r ¬q ¬r p q ¬q ¬r p q ¬q ¬r
V V V F F V V V
V V F F V V V V
V F V V F F F F
V F F V V F V F
F V V F F V V V
F V F F V V V V
F F V V F V F F
F F F V V V V V

La proposición es una CONTINGENCIA.

 EJERCICIO 3

D. { ⟷ [ (𝑟 ∨𝑠)]}

p: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública

{ ⟷[ (𝑟 ∨𝑠)]}

p- pepito estudia matemática

q- pepito lee la unidad de tablas de verdad

r- pepito practica las matemáticas

s- pepito participa en las web conferencias de la unad

 Si pepito estudia matemática si y solo si pepito lee la unidad de tablas de verdad y pepito
practica las matemáticas o pepito participa en las web conferencias de la unad.
 TABLA DE VERDAD DE LÓGICA UNAD
• TABLA DE VERDAD MANUAL

p q r s (r∨s) (q (r∨s) (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 v f
v f v f v v 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

• Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia

Es una contingencia
 REFERENCIAS
 Cardona, T. S. A. (2010). "Lógica matemática para ingeniería de sistemas y
computación." (pp. 110 - 111). 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.