Tarea 1 – Preposiciones y Tablas de Verdad

PENSAMIENTO LOGICO
Código del curso: 200611A_616

Presentado por:

Fabio Andres Triana Gómez: 200611_56

Presentado a:

Felipe Alexander Pipicano

Universidad Nacional Abierta y a Distancia (UNAD)

Escuela de ciencias Básica, Ingeniería. ECBTI
Diciembre 23 de 2019
 INTRODUCCION

Trabajo que contiene los aspectos importantes en la lógica matemática,

definición de cuantificador existencial desde la definición de proposición, tipos
de operadores lógicos, tautología, contradicción, proposiciones condicionales
bicondicionales y elaboración de tablas de verdad demostración formal.
 OBJETIVOS

 Investigar sobre cuantificador existencial

 Desarrollar y entender el lenguaje simbólico y elaboración de tablas de
verdad.
EJERCICIO 1 CUANTIFICADOR EXISTENCIAL
 EJERCICIO 2

 Este periodo matriculé Pensamiento Lógico y Matemático y podré ganar

puntos adicionales, si y sólo si, asisto a los Blearning y realizo los talleres bien.

P= Este periodo matricule pensamiento lógico y matemático

q= Podre ganar puntos adicionales
r= asisto a los b-learnig
s= realizo los talleres bien

(p ^ q) <-> ( r ^s )
p q r s p^q r^s (p ^ q) <-> ( r ^s )
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V F
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V F
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V F
F F V F F F V
F F F V F F V
F F F F F F V
RESULTADO–
Tabla DEResultados Simulador logica
LA TABLA= CONTIGENCIA
UNAD
Simulador lógica UNAD
p q r s (p∧q)↔(r∧s)
v v v v V
v v v f F
v v f v F
v v f f F
v f v v F
v f v f V
v f f v V
v f f f V
f v v v F
f v v f V
f v f v V
f v f f V
f f v v F
f f v f V
f f f v V
f f f f V
 EJERCICIO 3

[(p ⟶ q) ∧ (∼ q) ∧ (r ⟶ q)] ⟶ r

Andres estudia en la UNAD entonces estudiara a distancia, y no estudiara a distancia.

Sin embargo, estudiara presencial en los b learning entonces estudiara a distancia. Por
lo tanto, estudiara presencial en los b-learnig.

p= Andrés estudia en la UNAD

q= Andrés estudiara a distancia

r= Andrés estudiara presencial en los b learning

p q r ~q p⟶q (p ⟶ q) ∧ (∼ q) (r ⟶ q) [(p ⟶ q) ∧ (∼ q) ∧ (r ⟶ q)] [(p ⟶ q) ∧ (∼ q) ∧ (r ⟶ q)] ⟶ r

V V V F V F V F V
V V F F V F V F V
V F V V F F F F V
V F F V F F V F V
F V V F V F V F V
F V F F V F V F V
F F V V V V F F V
F F F V V V V V F
RESULTADO DE LA TABLA= CONTIGENCIA

Simulador lógica UNAD

CONCLUSIONES.

Con el presente trabajo se logró dar entendimiento a la lógica de las

preposiciones matemáticas y la correcta elaboración de las tablas de verdad y
el por que de sus resultados.
 Referencia bibliográficas

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

computación. (pp. 106 - 112). 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.
 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.