Unidad 1: Tarea 1-Proposiciones y tablas de verdad.

Laury Melissa Salazar Arias. Tel 3012357219. Código del curso 200611. Grupo 1162.
Marzo 2018.

Universidad Nacional Abierta y a Distancia.

Escuela de Ciencias Sociales Artes y Humanidades.
Turbo Antioquia.
Pensamiento Lógico y Matemático.
 Introducción.

Comprender los diversos conceptos fundamentales de la lógica proposicional, tablas de

verdad en proposiciones compuestas, algebra de proposiciones, tautologías y

contradicciones y contingencias, proposiciones categóricas, cuantificadores, todo esto por

medio de el desarrollo de ejercicios prácticos presentados en el desarrollo de la actividad

para lograr un aprendizaje completo.

 Objetivos.

 Identificar los conceptos de cada uno de los temas tratados en el transcurso de esta

actividad.

 Desarrollar los ejercicios planteados en la actividad basados en los conceptos

presentados en la unidad 1.

 Formular ejercicios propios con base a lo aprendido.

 Ejercicio 1.

Argumentos seleccionados: los correspondientes a la letra C.

 Ejercicio 2.

Argumento seleccionado.

c. Pereira es el nombre de una ciudad o Pereira es un apellido, entonces Pereira es un

sustantivo.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

 Definir las proposiciones simples del argumento.

p= Pereira es el nombre de una ciudad.

q= Pereira es un apellido.

r= Pereira es un sustantivo.

 Definir la expresión del argumento en lenguaje simbólico o formal.

(p v q)r

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link
de acceso al recurso)
  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.

2^N = 2^3=2X2X2 =8
p q r (p v q) (p v q)r
V V V V V
V V F V V
V F V V V
V F F V V
F V V V V
F V F V V
F F V F F
F F F F V

Resultado de la tabla de verdad: es una CONTINGENCIA.

Ejercicio 3.

Proposición compuesta escogida.

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

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
encontrar proposiciones iguales entre estudiantes se considerará como copia y se
tomarán las medidas correctivas estipuladas por la UNAD.

Proposición: Camila estudia psicología si y solo si, no estudia arquitectura o diego estudia
psicología y deja la arquitectura.

Proposiciones simples:

p= Camila estudia psicología.

¬q= estudia arquitectura.

q= diego estudia psicología.

r= deja la arquitectura.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link
de acceso al recurso).
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q r ¬q (p ↔ ¬q) (q ∧ r ) (p ↔ ¬q) v ( q ∧ r )
V V V F F V V
V V F F F F F
V F V V V F V
V F F V V F V
F V V F V V V
F V F F V F V
F F V V F F F
F F F V F F F

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia.

El argumento y resultado del mismo es de: CONTINGENCIA.

 Conclusión.

En conclusión, se logró la comprensión de cada una de las temáticas propuestas en la

actividad, permitiendo tener la capacidad de plantear ejercicios propios. De igual forma se

logro tener un conocimiento profundo y detallado de cada una de las temáticas tratadas,

permitiéndonos tener claro todo lo referente a Proposiciones, tablas de verdad y todas sus

derivaciones.

Referencias bibliográficas.

Referencias
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
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
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
https://es.wikipedia.org/wiki/Proposici%C3%B3n

https://www.youtube.com/watch?v=2Yje9fRmWiM