Está en la página 1de 8

1Proposiciones y tablas de verdad

Diego Andrés Muñoz.


Mayo 2020.

Universidad Nacional Abierta y a Distancia.


Pitalito-Huila.
Pensamiento lógico y matemático (200611_432)
Introducción

Este trabajo es realizado con fin el de evidenciar la solución de la tarea No 1 del curso
pensamiento lógico y matemático, el cual habla acerca de proposiciones y tablas de verdad, al
profundizar el tema se conocen los conceptos primordiales de la lógica proposicional y estos
son aplicados para la solución de ejercicios.

Posteriormente se lleva a cabo la lectura de la guía, se procede a seleccionar la letra B para


darlo a conocer en el foro general y así mismo desarrollar todas las actividades asignadas por
el tutor, para la solución del primer ejercicio llamado conceptualización de cuantificadores, se
realizó una presentación prezi acerca de cuantificadores universales negativos. Luego para la
realización del segundo ejercicio proposiciones y tablas de verdad se dieron a conocer las
proposiciones simples del argumento, también su lenguaje simbólico, y se realiza una tabla de
verdad a mano y otra en el simulador lógica UNAD para dar a conocer su resultado. Por ultimo
para la realización del ejercicio 3 denominado problemas de aplicación, se realizó el enunciado
de una preposición compuesta, se definieron sus proposiciones simples y se procede a la
realización de una tabla de verdad a mano y otra en el simulador lógica UNAD y se da a
conocer su resultado.
Objetivos

Objetivo general:

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


y aplicarlos en la solución de ejercicios.

Objetivos específicos:

Aprender a determinar el tipo de proposiciones que se encuentra en una frase o enunciado

Observar e interpretar la simbolización proposicional

Analizar los enunciados para elaborar tablas de verdad


Desarrollo de las actividades

Ejercicio No 1: Conceptualización de cuantificadores

Presentación prezi acerca de cuantificador universal negativo.

Link: https://prezi.com/p/44bdsr1pkso2/?present=1

Ejercicio No 2: Proposiciones y Tablas de Verdad

Argumento:

Si el América clasifica a la Copa Libertadores, entonces jugará más partidos o podrá mostrar
más sus jugadores.
● Proposiciones Simples:
p = El América clasifica a la copa libertadores

q = Jugara más partidos


r = Podrá mostrar más sus jugadores

● Lenguaje Simbólico:
p → q v r
Si p entonces q o r.

● Tabla de la verdad manual:


Preposición: p → q v r

p q r ( p→q ) ( (p→q) v r)
V V V V V
V V F V V
V F V V V
V F F V V
F V V F V
F V F F F
F F V V V
F F F v V

● Tabla de verdad Simulador lógica UNAD:


Preposición: p → q v r

Resultado de la tabla de verdad:


Contingencia

Ejercicio 3: Problemas de aplicación

● Expresión formal o simbólica:


(𝑝 ∧ 𝑞) ∧ (¬𝑝 ∧ ¬𝑞)

● Definición de las proposiciones simples:


p: Natalia tiene covid 19
q: puede morir

● Lenguaje natural de la expresión formal:


Natalia tiene covid 19 y puede morir y Natalia no tiene covid 19 y no puede morir.

● Tabla de verdad manual:


Preposición: (𝑝 ∧ 𝑞) ∧ (¬𝑝 ∧ ¬𝑞)

p q ¬p ¬q (𝑝 ∧ 𝑞) (¬𝑝 ∧ ¬𝑞) (𝑝 ∧ 𝑞) ∧ (¬𝑝 ∧ ¬𝑞)

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

● Tabla de verdad con el simulador Lógica UNAD


Preposición: (𝑝 ∧ 𝑞) ∧ (¬𝑝 ∧ ¬𝑞)

Resultado de la tabla de verdad:


Contradicción
Conclusiones

De lo aprendido durante el desarrollo de este trabajo he puesto en práctica conocimientos


sobre temas importantes tales como conceptualización de cuantificadores, también se llevó
a cabo la realización de diferentes ejercicios donde se dan por entendidas las distintas
formas para resolver enunciados que tienen una o varias preposiciones, ya que de manera
lógica se dan valores a dicha expresión que nos ayudan a resolverlos.

También he logrado tener un mayor nivel de comprensión acerca de preposiciones simples


y compuestas, su simbolización y la realización de tablas de verdad reales.
Bibliografía

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


(pp. 9-28). Ediciones Elizcom, Madrid.

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


(pp. 106 - 112). Ediciones Elizcom, Madrid.

●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.

● Jorge Luis Collogo Martínez. (23/03/2014). Tablas de verdad. Proposiciones compuestas.


https://www.youtube.com/watch?v=RY89xcvnevI.