TAREA 1

PROPOSICIONES Y TABLAS DE VERDAD

ASIGNATURA
PENSAMIENTO LÓGICO Y MATEMÁTICO

OMAR DAVID FORERO GALLEGO

GRUPO 200611_166

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD

PROGRAMA DE INGENIERÍA ELECTRÓNICA

BOGOTÁ, COLOMBIA 2019

*TUTORA, ELIZABETH PUENTES MONTAÑO

 Introducción

En el presente trabajo se tratarán temáticas relacionadas con la resolución de problemas y

conceptos de la lógica proposicional. Esto permitirá fortalecer y generar destrezas al realizar la

identificación y compresión de estos como elementos fundamentales de la lógica, para

desarrollar las competencias que permitan solucionar los ejercicios planteados.

OMAR DAVID FORERO GALLEGO 1

 Objetivo general

Al finalizar la actividad se conocerán los principales conceptos de la lógica proposicional,

siendo un punto de partida para el desarrollo de la lógica. Evaluado proposiciones en forma de

enunciados permitiendo determinar su validez al realizar un análisis generando bases para

comprender, solucionar, interpretar e identificar operaciones utilizando la lógica proposicional.

OMAR DAVID FORERO GALLEGO 2

 Objetivos específicos

1. Realizar las investigaciones preliminares para el desarrollo de la actividad realizando el

respectivo estudio de la unidad 1 en el entorno del conocimiento.

2. Utilizar los diferentes recursos disponibles como la web que permita complementar la

información para el desarrollo de la actividad.

3. Identificar conceptos de los diferentes cuantificadores proposicionales que permitan

obtener conocimientos para la solución de la actividad planteada.

4. Dar a conocer conceptos y características de la lógica proposicional solucionando los

diferentes ejercicios planteados en la actividad.

5. Utilizar el simulador Truth donde se permitan aplicar los conocimientos adquiridos

durante el desarrollo de la unidad 1.

OMAR DAVID FORERO GALLEGO 3

 Ejercicio 1: Conceptualización de Cuantificadores

Descripción del ejercicio

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.

Los temas propuestos son:

A. Cuantificador Universal Afirmativo.

B. Cuantificador Universal negativo.

C. Cuantificador Existencial.

D. Cuantificador Existencial Único.

E. Equivalencias entre cuantificadores.

En el caso de seleccionar la herramienta PREZI, debe dirigirse a la página web

https://prezi.com/es/ y realizar la apertura de una cuenta para lograr hacer uso de la herramienta,

posteriormente debe colocar el enlace de la presentación en el documento que

consolidará para entregar en el entorno de seguimiento y evaluación. Si realiza

su presentación en una herramienta office como lo es PowerPoint, por favor en

el informe final de la tarea, debe pegar los pantallazos de las diapositivas de su

presentación.

OMAR DAVID FORERO GALLEGO 4

OMAR DAVID FORERO GALLEGO 5
OMAR DAVID FORERO GALLEGO 6
OMAR DAVID FORERO GALLEGO 7
OMAR DAVID FORERO GALLEGO 8
 Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del 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 taller de

Fernando

B. El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con

los rayos de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se

forma con muchos colores.

C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una

empresa estadounidense y Si Huawei es una empresa china entonces no tiene

Android de Google.

D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia literatura inglesa

entonces escribirá poemas.

E. PlayStation es una consola si y sólo si es usada como un reproductor de BlueRay y

para jugar juegos de video.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

OMAR DAVID FORERO GALLEGO 9

 Definir las proposiciones simples del argumento.

p : el vehículo de Gabriela necesita mantenimiento

q : lo lleva al concesionario

r : lo lleva al taller de Fernando

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

( p → q)∨(¬ q →r )

 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)

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

1
OMAR DAVID FORERO GALLEGO
0
 p q ¬q r p→q ¬q → r ( p → q ) ∨ ( ¬q → r )

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

Contingencia: ya que tenemos falsos y verdaderos.

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:

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

B. (𝑝→𝑞)∧(𝑟 ⋀ 𝑠)

C. [(𝑝 ⋁𝑞)⟷𝑟]

D. (𝑝 ⋁𝑞) ⋀ (𝑞 ⟶(𝑟 ⋀𝑠))

E. [(𝑝 ⋀ 𝑞)⟶𝑟]∧[(~ 𝑞 ∨𝑠) ⟶~𝑟]

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

Solución

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

1
OMAR DAVID FORERO GALLEGO
1
 p: Omar se matriculo en la UNAD

q: estudia ingeniería electrónica

r: tiene clases de instrumentación industrial

s: estudia para el examen

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

Las proposiciones simples deben ser de autoría de cada estudiante.

Si Omar se matriculo en la UNAD y estudia ingeniería electrónica entonces tiene clases de

instrumentación industrial y estudia para el examen.

 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).

1
OMAR DAVID FORERO GALLEGO
2
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,

Excel o foto del desarrollo manual).

P
q r s p∧q r∧s (p ∧ q) → ( r ∧ s )
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

 Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia

Contingencia: ya que tenemos falsos y verdaderos.

1
OMAR DAVID FORERO GALLEGO
3
 Conclusión

Como se puedo apreciar la lógica proposicional nos permite derivar información nueva a

partir de la que ya conocemos por medio de la utilización de los diferentes cuantificadores y las

tablas de verdad para el análisis y la toma de decisiones y permitió profundizar en conceptos de

la lógica para la resolución de problemas.

1
OMAR DAVID FORERO GALLEGO
4
 Referencias Bibliográficas

Cardona, T. S. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106 -

112). Madrid: Ediciones Elizcom.

López, B. (9 de septiembre de 2019). Cuantificadores Universales. Obtenido de Bruno

López: http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/Inteligencia

%20Artificial/Apuntes/IA/Filminas-Cuantificadores.PD

Cardona, T. S. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 9 -

28). Madrid: Ediciones Elizcom.

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.

1
OMAR DAVID FORERO GALLEGO
5