Introducción

Al desarrollar la siguiente temática planteada en la unidad 1 conoceremos el significado de

las preposiciones compuestas y simples; su lenguaje natural y simbólico, su adecuado
manejo y uso. Daremos la solución y se comprobaran en tabla de la verdad por medio del
simulador Truth.
 Objetivo

-Lenguaje natural y simbólico

-Tabla de verdad con proposiciones compuestas
-Definición de Tautología, contradicciones y contingencias
Si estudio en la UNAD entonces podré cumplir mis sueños, si y sólo si soy dedicado
con mis estudios y aprovecho el acompañamiento académico en los centros.

p: Si estudio en la UNAD
q: podré cumplir mis sueños
r: si y sólo si soy dedicado con mis estudios y aprovecho el acompañamiento académico en
los centros

lenguaje simbolico: P→q↔ r

TABLA DE VERDAD

p q r p→q P→q↔ r
V V V v v
V V F v F
V F V v F
V F F v V
F V V v V
F V F v F
F F V f V
F F F F F
Ejercicio 3: Problemas de aplicación

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

Angy Tatiana Giraldo va a pasar todas la materias si se dedica mas tiempo a su estudio y
No ve televicion y tampoco gueja videos juegos
P: Angy Tatiana Giraldo va a pasar toda la materia
q=se dedica mas tiempo a su estudio
r= No ve televicion y tampoco gueja video juego
 TABLA DE VERDAD

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

V V V v
V V F V
V F V V
V F F V
F V V V
F V F V
F F V V
F F F V
 Conclusiones

Al terminar el desarrollo del siguiente trabajo de preposiciones y tabla de verdad se conoció

el lenguaje simbólico la cual es la expresión natural que se utiliza en pensamiento lógico y
en las matemáticas para dar importancia a la comunicación por medio de esta terminología
simbólica.

Gracias al gran contenido que se encontró en el entorno de conocimiento y a la gran

explicación por parte de los tutores se aprendió y se aplicó la lógica matemática en nuestra
vida cotidiana ya que se ha asimilado y se conceptualizo por medio de ejemplos que nos
ayudaran a despejar todas las incógnitas que teníamos respecto al tema desarrollado.
 Referencias Bibliográfica

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. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924

Lógica Proposicional:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.ac tion?
docID=11013570&ppg=30
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a ction?
ppg=166&docID=11046000&tm=1489704594878
Conectores Lógicos:
http://erenriquez.net/largoty/Ova01MD/
Aplicación tabla de verdad:
http://erenriquez.net/largoty/Ova01MD/
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013