Tarea 1 – Proposiciones y Tablas de Verdad

Pensamiento Lógico y Matemático

Grupo: 200611_2

Presentado por:

Angy Fernanda Arias

Código: 1122141424

Presentado a:

Ibeth Rodríguez

Universidad Nacional Abierta y a distancia

Programa de psicología

Julio 2019
 Introducción

El siguiente trabajo permite por medio del aprendizaje basado en problemas,

poner en práctica los conocimientos aprendidos sobre las leyes de la lógica e

inferencias, tipos de razonamiento y validez de una conclusión. Pues así como se

logra realizar los planteamientos con las premisas adecuadas y realizar la validez

de las mismas, permitiendo dar solución al ejercicio planteado

 Objetivos

Comprender los conceptos fundamentales de la lógica proposicional y los

aplica para la resolución de problemas.
 Desarrollo de los ejercicios

Ejercicio 1: Conceptualización de Cuantificadores

Ejercicio 2: Proposiciones y Tablas de verdad

D. Messi es el mejor jugador del mundo, entonces Cristiano Ronaldo

no es el mejor jugador de Europa o la liga española no es la más
competitiva.

 Definir las proposiciones simples del argumento.

𝑷 = 𝑴𝒆𝒔𝒔𝒊 𝒆𝒔 𝒆𝒍 𝒎𝒆𝒋𝒐𝒓 𝒋𝒖𝒈𝒂𝒅𝒐𝒓 𝒅𝒆𝒍 𝒎𝒖𝒏𝒅𝒐
𝒒 = 𝑪𝒓𝒊𝒔𝒕𝒊𝒂𝒏𝒐 𝒆𝒔 𝒆𝒍 𝒎𝒆𝒋𝒐𝒓 𝒋𝒖𝒈𝒂𝒅𝒐𝒓 𝒅𝒆 𝑬𝒖𝒓𝒐𝒑𝒂
𝒓 = 𝑳𝒂 𝑳𝒊𝒈𝒂 𝑬𝒔𝒑𝒂ñ𝒐𝒍𝒂 𝒆𝒔 𝒍𝒂 𝒎𝒂𝒔 𝒄𝒐𝒎𝒑𝒆𝒕𝒊𝒕𝒊𝒗𝒂

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

[𝑝 → (~𝑞 𝑣 ~𝑟)]
  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)

Resultado: Contingencia

 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.
 p q r ~q ~r ~q ~𝑟 [P→ (~q ~𝑟)
V V V F F F F
V V F F V V V
V F V V F V V
V F F V V V V
F V V F F F V
F V F F V V V
F F V V F V V
F F F V V V V

Resultado: Contingencia

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje

simbólico (argumento) para el desarrollo del ejercicio 3:

D. (𝑎 ∧ ~𝑏) → (𝑏 ∨ ~𝑐)
 Definición de las proposiciones simples: (se define cada
proposición simple del argumento, siempre en afirmativo y con letras
en minúscula).

𝑎: 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑝𝑎𝑟𝑎 𝑒𝑙 𝑒𝑥𝑎𝑚𝑒𝑛

𝑏: 𝑣𝑎 𝑎 𝑙𝑎 𝑓𝑖𝑒𝑠𝑡𝑎

𝑐: 𝐴𝑝𝑟𝑢𝑒𝑏𝑎 𝑒𝑙 𝑐𝑢𝑟𝑠𝑜

 Lenguaje natural de la expresión formal: (A partir de las

proposiciones simples anteriores y el lenguaje simbólico dado en el
ejercicio, se construye la expresión en lenguaje formal o natural)
Estudia para el examen y no va a la fiesta entonces, va a la fiesta ó
aprueba el curso.

 Generar la tabla de verdad manualmente: recuerde que

aparte de las columnas de las proposiciones simples, debe haber
tantas columnas como operadores lógicos hay en el lenguaje
simbólico (incluye negaciones y demás operadores lógicos, en el
caso del ejemplo que estamos trabajando, hay 3 proposiciones
simples, hay 2 negaciones y 5 operadores lógicos), por lo tanto, la
tabla de verdad está compuesta por 3 columnas de proposiciones
simples, 2 de negaciones y 5 columnas de operadores lógicos.

a b c ~𝑏 ~𝑐 𝑎 ~𝑏 b V ~𝑐 (𝑎 ~𝑏) → (𝑏 ~𝑐)
V V V F F F V V
V V F F V F V V
V F V V F V F F
V F F V V V V V
F V V F F F V V
F V F F V F V V
F F V V F F F V
F F F V V F V V

 Resultado de la tabla de verdad: CONTINGENCIA

 Generar la tabla de verdad con el simulador Lógica UNAD
 Conclusiones

Así, como la matemática la lógica matemática es exacta y se comprobó en este

trabajo al solucionar un razonamiento concluyente mediante diversos métodos de
la lógica matemática, como las tablas de verdad evaluando la conclusión, y siempre
demostró lo mismo.

Los conceptos de la lógica matemática pueden ser usados para desarrollar

problemas prácticos de la vida cotidiana
 Bibliografía

Cárdenas, J. L. (2014). Álgebra: Serie universitaria patria. (pp. 2-6). México, D.F.:
Grupo Editorial Patria. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=13&doc
ID=3227286&tm=1531172313538

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&docI
D=3226457&tm=1529246259924