Ejercicio 1: Conceptualización de Cuantificadores

Ejercicio 2: Proposiciones y Tablas de verdad

A. Si la base de un triángulo mide 6 cm y su altura mide 10 cm. Por
lo tanto, su área mide 60 cm2

 Definir las proposiciones simples del argumento.

p: Si la base de un triángulo mide 6 cm

q: Su altura mide 10 cm
r: Su área mide 60 cm²
  Definir la expresión del argumento en lenguaje simbólico o
formal.
p ∧q → r
 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 y determinar si el resultado es una tautología,
contingencia o contradicción.
Tabla es Contingencia

p q r p ∧q p ∧q → r
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
 F F V F V
F F F F V
Ejercicio 3: Problemas de aplicación

A. [ p →(q ⋀ r )]

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

p: Gabriel García escribió La Vorágine

q: escribió cien años de Soledad
r: gano un premio nobel de la literatura

 Remplazar las variables expresadas simbólicamente y llevarlas

al lenguaje natural. Las proposiciones simples deben ser de
autoría de cada estudiante.

Gabriel García no escribió La Vorágine, por lo tanto, escribió

cien años de Soledad y gano un premio nobel de la literatura.

[ p →(q ⋀ r )]
 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 ∼p q r q∧r ∼ p →(q ∧r )
V F V V V V
V F V F F V
V F F V F V
V F F F F V
F V V V V V
F V V F F F
F V F V F F
F V F F F F

 Definir si el argumento seleccionado inicialmente es una

tautología, contradicción o contingencia

Tabla es Contingencia
 REFERENCIA BIBLIOGRAFICA

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

sistemas y computación. (pp. 106 - 112). Ediciones Elizcom,
Madrid.
 https://ciencias-basicas.com/matematica/superior/teoria-de-
conjuntos/cuantificadores/#cuantificador-universal
 https://es.slideshare.net/jazzme/lgica-y-conjuntos-proposiciones-
y-cuantificadores
 http://primeraunidad101.blogspot.com/2014/08/cuantificadores.h
tml
 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.