pasó 1

lógica matemática

tutor: Carlos Arturo

Estudiante Fredy Andrés Piñeros Chaparro

Código: 74080279

Universidad Nacional Abierta y a Distancia

Unad
Sogamoso
mayo2019
Ejercicio 1
 Ejercicio 2

EJERCICIO 2
A. Pereira es el nombre de una ciudad o Pereira es un apellido,
entonces Pereira es un sustantivo
pvq→r

 P: Pereira es nombre de ciudad

 q: Pereira es un es un apellido

 r: Pereira Es un sustantivo.

pvq→r

P Q R P ∧Q PVQ→R
V V V V V
V V F V F
V F V F V
F F F V F
V V V V V
V V F V F
F F V V V
F F F V V

RTA: es una contingencia

 Ejercicio 3

( p↔ ¬q )∨( q∧r     )

en la universidad unad se cursan diversas carreras profesionales

entonces no es verdad unad no sea una Universidad Nacional y se
inscriben cursos por carrera
P: en la universidad unad se cursan diversas carreras
profesionales
q: no es verdad unad no sea una Universidad Nacional
r: se inscriben cursos por carrera.

(p↔¬q) ∧ (r∨q)

V↔F ∧ VvV

F ∧ V

p q r ¬ p↔¬ r∨q (p↔¬q) ∧

q q (r∨q)

V V V F F V F
V V F F F V F
V F V V V V V
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 F V F
F F F V F F F
RTA: es una contingencia
 BIBLIOGRAFIA
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=152924625992

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=1529335849

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

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=109&docID=3199701&tm=1529510366591

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de

proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961