TAREA 1: PROPOSICIONES Y TABLAS DE LA VERDAD

ESTUDIANTE: CRISTIAN FERNANDO MARTINEZ VANEGAS

GRUPO: 200611B_761

TUTOR(A): MIREYA GOMEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERA

PENSAMIENTO LOGICO

NEIVA - HUILA

MARZO DE 2020
 1. INTRODUCCIÓN

El presente trabajo se desarrolla bajo la consulta de aprendizaje de los siguientes temas.

Lógica proposicional, tablas e verdad en proposiciones compuestas, categoría de las

proposiciones (tautológicas, contradicciones y contingencias). Por lo cual se evidencia una

consulta sobre cuantificadores según el punto escogido por el estudiante y el desarrollo de

dos ejercicios completos para ser evaluados por el tutor de la asignatura.

 2. OBJETIVOS

 Consultar y revisar los documentos de aprendizaje en el entorno de

conocimiento para el desarrollo de las actividades.

 Utilizar todas las consultas bibliográficas para la veraz comprensión de los

ejercicios a desarrollar.

 Realizar de manera completa y lógica todo el taller o tarea propuesta en la

actividad a entregar.
 3. Escoger una letra y explicación del Tema:

Cuantificador existencial.

Presentado por: Cristian Martínez

Nota: dar doble Click enzima de la imagen para ver la exposición en power point.
 4. EJERCICIO 1.

C. Colombia cuenta con una variedad de fauna y flora. Si y solo si, la atraviesa la

cordillera de los andes y la llanura amazónica.

 Definir las proposiciones simples del argumento:

Solución:

P: Colombia cuenta con una variedad de fauna.

q: flora.

r: la atraviesa la cordillera de los andes.

s: la llanura amazónica.

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

(𝒑^𝒒 ⟷ 𝒓^𝒔)
  Generar una tabla de verdad.

o p q R s p^q r^s (𝒑^𝒒 ⟷ 𝒓^𝒔)

l
V V V V V V V
u
V V V F V F F
c
V V F V V F F
i
V V F F V F F
ó
V F V V F V F
n
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 F

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 F

F F V F F F V

F F F V F F V

F F F F F F V
  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.

La tabla de verdead es una expresión tautológica ya que independiente de la verdad o

falsedad de la proposiciones, es siempre verdadera.

 5. EJERCICIO 2.

EJERCICIO C: [(𝒑 → 𝒒) ↔ 𝑹]

 Proposiciones simples:

p: hoy jugaran dos equipos de futbol

q: sean las 5:00 p.m

r: el cielo está despejado.

 Lenguaje Natural: “hoy jugaran dos equipos de futbol cuando sean las 5:00 p.m. si

solo si el cielo está despejado.”

 Tabla de verdad manual:

p q r [(𝒑 → 𝒒) [(𝒑 → 𝒒) ↔ 𝑹]

V V V V V

V V F V F

V F V F F

V F F F V

F V V V V

F V F V F

F F V V V

F F F V F
 Tabla de Lógica UNAD.

Esta proposición es una contingencia ya que es verdadera y falsa.

 6. Conclusiones.

Podemos a través del siguiente trabajo desarrollado poder entender la lógica

proposicional, el objetivo de llevarnos a pensar que tal vez lo que hablamos en la vida diaria

no son únicamente oraciones, si no proposiciones que desde una Angulo matemático

podemos visualizar como estas herramientas ayudaron a crear lo que son los ordenadores,

herramientas informáticas que con simples o compuestas proposiciones ayudaron a realizar

sistemas complejos numéricos o de programación.

Como propósito principal nos permitirá seguir en el proceso de aprendizaje para seguir

en la continuidad de la asignatura y que este desarrollo es el inicio de lo que vendrá más

adelante en el desarrollo de la asignatura.

 7. Referencias Bibliográficas.

 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 https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docI
D=3226457&ppg=20
 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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docI
D=3199701&ppg=12
 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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docI
D=3199701&ppg=109
 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
 Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a
las matemáticas universitarias. México: McGraw-Hill
Interamericana. Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docI
D=3194062&ppg=12