1

Pensamiento Lógico matemático

UNAD (Universidad abierta y a distancia)

Tarea 1 – Proposiciones y Tablas de Verdad

 2

Ejercicio 1. Conceptualización de cuantificadores.

Con base en los contenidos desarrollados en la lectura, el estudiante debe

escoger uno de los siguientes temas y presentarlo de manera gráfica a través de una
presentación, utilizando un recurso didáctico tipo PREZI, PowerPoint u otra
herramienta digital. A partir del tema deberá dar su definición y dos ejemplos.
3
 4

Ejercicio 2: Proposiciones y Tablas de verdad

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

D. Me gusta comer Lechona o me gusta comer Mariscos. Y es que realmente me
gusta comer Bandeja Paisa.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems
 Definir las proposiciones simples del argumento.
p: Me gusta comer lechona.
q: Me gusta comer mariscos.
r. Realmente me gusta comer bandeja paisa
 5

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

pVq^r

 Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje
simbólico

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

p q r pVq (pVq)^r
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F F

Ejercicio 3: Problemas de aplicación

 6

A continuación, encontrará proposiciones compuestas en lenguaje simbólico para el

desarrollo del ejercicio 3:

D.{[𝑝→(𝑞∨𝑟)]∧(p→∼𝑟)∧ r}→𝑞

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado

deberá:
Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico

p: Manuel estudia ingeniería de telecomunicaciones.

q: Manuel es bueno en matemáticas.
r: Manuel aprueba las materias de la carrera

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

proposiciones simples deben ser de autoría de cada estudiante

Si Manuel estudia ingeniería de telecomunicaciones entonces Manuel es bueno en

matemáticas o Manuel aprueba las materias de la carrera, Y si Manuel estudia
ingeniería de telecomunicaciones entonces Manuel no aprueba las materias de la
carrera y Manuel aprueba las materias entonces Manuel es bueno en matemáticas.

Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico
 7

Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q r (-r) qVr p→(qVr) p→-r (p→-r)^r p→(qVr) ^ (p→-r)^r p→(qVr) ^ (p→-r)^r→q

V V V F V V F F F V
V V F V V V V F F V
V F V F V V F F F V
V F F V V V V F F V
F V V F V V F F F V
F V F V F V V F F V
F F V F V V F F V F
F F F V F V V F F V

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

contingencia

De acuerdo a nuestra tabla de verdad se concluye que el argumento corresponde a

una contingencia.
8
 9

Referencias

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?

ppg=12&docID=3199701&tm=1529335849013

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

 10

Notas al pie
1
Agregue notas al pie, si corresponde, en su propia página después de las referencias.

En el cuerpo de una nota al pie, como en este ejemplo, se usa el estilo de texto Normal.

(Nota: Si elimina esta nota al pie de ejemplo, no se olvide de eliminar también su referencia

en el texto. Está al final del párrafo Título 2 de ejemplo de la primera página del contenido

del cuerpo de esta plantilla.)

 11

Tablas

Tabla 1

Título de tabla

Encabezado de Encabezado de Encabezado de Encabezado de Encabezado de

columna columna columna columna columna
Encabezado de fila 123 123 123 123
Encabezado de fila 456 456 456 456
Encabezado de fila 789 789 789 789
Encabezado de fila 123 123 123 123
Encabezado de fila 456 456 456 456
Encabezado de fila 789 789 789 789

Nota: Coloque todas las tablas del documento en una sección de tablas, después de las

referencias (y, si corresponde, después de las notas al pie). Use una página nueva para cada

tabla e incluya un número de tabla y un título de tabla para cada una, como se muestra en esta

página. Todo el texto explicativo aparece en una nota de tabla después de la tabla, como en

esta. Use el estilo de tabla o ilustración, disponible en la galería de estilos de la pestaña

Inicio, para agregar el espaciado entre la tabla y la nota. Las tablas en el formato de APA

pueden usar un interlineado de una línea o de 1,5 líneas. Incluya un título para cada fila o

columna, incluso si el contenido parece obvio. Se configuró un estilo de tabla para esta

plantilla que cumple con las normas del estilo APA. Para insertar una tabla, seleccione la

pestaña Insertar y haga clic en Tabla.

 12

Ilustraciones

Ilustración 1. Incluya todas las ilustraciones en su propia sección, después de las referencias

(y, si corresponde, después de las notas al pie y las tablas). Incluya un título numerado para

cada ilustración. Use el estilo de tabla o ilustración para agregar fácilmente espaciado entre la

ilustración y el título.

Para obtener más información sobre todos los elementos del formato de estilo APA, vea el

Manual de estilo de la APA, 6.ª edición.