Unidad 1

Ejercicio3
Conceptualización de Cuantificadores
Letra : C

Curso: Pensamiento Lógico y Matemático

Laura Daniela Guerrero Largo

Cód.200611_555

Tutor
Luis Fernando Posada.

Escuela de ciencias de la Tecnología e ingeniería ECBTI.

Universidad Nacional Abierta y a Distancia
CCVA-Eje cafetero_ Dosquebradas.
Ingeniería Industrial
Abril 2020

Ejercicio 1. Página 1
Lista de contenido

Ejercicio 3 – Unidad 1..................................................................................................................................1

Ejercicio C Problemas de aplicación............................................................................................................3
Leguaje simbólico:.......................................................................................................................................4
Proposiciones simples.................................................................................................................................5
Simulador Lógica UNAD .......................................................................................................................5
Tabla de verdad...........................................................................................................................................6
Bibliografía..................................................................................................................................................6

Ejercicio 1. Página 2
 Ejercicio 3: Problemas de aplicación

Lenguaje simbólico:
( r ∨¬ q ) →¬ p

Proposiciones simples:

p: Laura ganará el semestre

q: veo las conferencias de pensamiento lógico
r: aporto en los foros de comunicación
Lenguaje natural de la expresión formal:
Si aporto en los foros de comunicación o no veo las videoconferencias de pensamiento lógico,
entonces Laura no ganará el Semestre.

Ejercicio 1. Página 3
 Tabla de Verdad

(r˅¬q)→¬
p q r ¬q (r˅¬q) ¬p
p
V V V F V F F
V V F F F F V
V F V V V F F
V F F V V F F
F V V F V V V
F V F F V V V
F F V V V V V
F F F V V V V

El resultado es falso y verdadero entonces se dice que es una contingencia.

Ejercicio 1. Página 4
 Bibliografia

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: Conjuntos numéricos, completos. Madrid, España: Editorial
Tébar Flores. Obtenido de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3226457&ppg=20

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

Madrid: Ediciones Elizcom. Obtenido de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=109

Marín, J. (2019). Simulador Lógica UNAD. Obtenido de http://logicaunad.com/jtruth/

Ejercicio 1. Página 5