PROPOSICIONES Y TABLAS DE VERDAD

Tarea 1 - Proposiciones y tablas de verdad

Carlos Alberto Ruiz Galvis

Universidad Nacional Abierta y a Distancia

Septiembre 27 de 2019

Notas de autor

Carlos Alberto Ruiz Galvis, facultad de Ciencias Básicas, Tecnología e Ingeniería,

Universidad Nacional abierta y a Distancia

La información correspondiente a este documento deberá ser enviada a Facultad de Ciencias

Básicas, Tecnología e Ingeniería, Universidad Nacional Abierta y a Distancia, zona sur ccav

Neiva, contacto: ruiz2c@hotmail.es

PROPOSICIONES Y TABLAS DE VERDAD

Tabla de contenido
Introducción ............................................................................................................................... 3

Objetivos .................................................................................................................................... 4

Generales ................................................................................................................................ 4

Específicos ............................................................................................................................. 4

Desarrollo de ejercicios .............................................................................................................. 5

Ejercicio 2 .............................................................................................................................. 5

Lenguaje simbólico. ........................................................................................................... 5

Tabla de verdad. ................................................................................................................. 5

Simulador lógica UNAD. ................................................................................................... 6

Ejercicio 3. ............................................................................................................................. 6

Proposiciones simples. ....................................................................................................... 6

Lenguaje natural. ................................................................................................................ 6

Tabla de verdad. ................................................................................................................. 7

Simulador lógica UNAD. ................................................................................................... 8

Conclusiones. ............................................................................................................................. 9

Bibliografía .............................................................................................................................. 10
 PROPOSICIONES Y TABLAS DE VERDAD

Introducción

En el siguiente trabajo se quiere dar a conocer los conocimientos de proposiciones y tablas de

verdad las cuales se verán reflejadas mediante una serie de ejercicios que se resolvieron paso a

paso, asimismo se pretende profundizar conceptos claves para adquirir este conocimiento como

son los conjuntos, la conjunción, la intercepción y todo lo que tiene que ver con lógica y teoría

de conjuntos con el objetivo de un estudio específico para un desarrollo eficaz del trabajo.
 PROPOSICIONES Y TABLAS DE VERDAD

Objetivos

Generales

 Lo que se quiere hacer en este trabajo es dar solución a una serie de ejercicios y

adquirir conocimiento sobre logia y teoría de conjuntos.

Específicos

 Saber que es una tabla de verdad.

 Desarrollar y solucionar los ejercicios establecidos.

 Ver y analizar proposiciones.

 PROPOSICIONES Y TABLAS DE VERDAD

Desarrollo de ejercicios

Ejercicio 2

A) Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al concesionario

o si ella no lo lleva al concesionario entonces, lo lleva al taller de Fernando.

p= el vehículo de Gabriela necesita mantenimiento.

q= lo lleva al concesionario.

r= lo lleva al taller de Fernando.

Lenguaje simbólico.

(𝑝 → 𝑞) ∨ (∼ 𝑞 → 𝑟)

Tabla de verdad.

𝒑 𝒒 𝒓 ∼𝒒 𝒑→𝒒 ∼𝒒→𝒓 (𝒑 → 𝒒) ∨ (∼ 𝒒 → 𝒓)

V V V F V V V

V V F F V F V

V F V F F V V

V F F F F F F

F V V V V V V

F V F V V V V

F F V V V V V

F F F V V V V

Resultado de la tabla de verdad: CONTIGENCIA

 PROPOSICIONES Y TABLAS DE VERDAD

Simulador lógica UNAD.

Ejercicio 3.

A) (𝑝 ∧ 𝑞) → (𝑟 ∧ 𝑠)

Proposiciones simples.

p= Carlos es un estudiante

q= es un buen estudiante

r= obtendrá muy buenas notas

s= pasara todas las materias

Lenguaje natural.

Carlos es un estudiante de la UNAD y es un buen estudiante entonces va a obtener muy buenas

notas y pasara todas las materias.

PROPOSICIONES Y TABLAS DE VERDAD

Tabla de verdad.

𝒑 𝒒 𝒓 𝒔 𝒑∧𝒒 𝒓∧𝒔 (𝒑 ∧ 𝒒) → (𝒓 ∧ 𝒔)

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 V

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 V

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 V

F F V F F F V

F F F V F F V

F F F F F F V

Resultado de la tabla de verdad: CONTIGENCIA.

PROPOSICIONES Y TABLAS DE VERDAD

Simulador lógica UNAD.

 PROPOSICIONES Y TABLAS DE VERDAD

Conclusiones.

La lógica y teoría de conjuntos sirven para el estudio de las proposiciones las cuales con

análisis nos llevan a ver dicha proposición de manera grafica y entender algo más sobre ella, sin

olvidar la enseñanza del manejo simbólico de las proposiciones las cuales se pudieron aprender

correctamente mediante estos ejercicios.

 PROPOSICIONES Y TABLAS DE VERDAD

Bibliografía

Cardona. (2010). Lógica matemática para ingeniería de sistemas y computación. Madrid:

Ediciones Elizcom.

Muñoz, J. M. (2002). Introducción a la teoría de conjuntos. Bogota: Cuarta.

Rodriguez. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra

lineal. Volumen I: conjuntos numéricos, complementos. Madrid: Tébar Florez.