Unidad 1: Tarea 1 - Proposiciones y Tablas de Verdad

María Andrea Botero

Tutora

Estudiante

Sofía Elena Barros Cadena

Código: 200611

Grupo:904

Universidad Nacional Abierta y a Distancia UNAD

Escuela Ciencias de la Educación

Licenciatura en Lenguas Extranjeras con Énfasis en Inglés

Pensamiento Lógico y Matemático 200611

Valledupar, Marzo del 2020

 Introducción al trabajo

En la presente temática , se analizará, estudiará y evidenciará, el manejo de la lógica

proposicional y la elaboración de tablas de verdad, mediante enunciados específicos y variados,

donde se puede identificar, examinar y construir operaciones con proposiciones en una oración

formulada, partiendo de un lenguaje natural a un lenguaje formal, y viceversa; por ende dando un

resultado simbólico de dicho enunciado con características comunes del diario vivir, sea

afirmando, negando o dando simplemente una respuesta en un tiempo presente; donde el

enunciado aclara los diferentes sucesos del mismo.

Teniendo en cuenta lo anterior, es menester resaltar la importancia de poder conocer y

desarrollar la lógica proposicional en enunciados, así como el manejo de las tablas de verdad en

contextos presentes, puesto que esta parte es un complemento en el conocimiento de la

experiencia lógico matemática, la cual puede ser útil no tan solo para el desarrollo de una unidad

de estudio propuesta, sino ir más allá de la realización de un trabajo, llevándolo al contexto de

conocimientos personales y profesionales, el cual permita hacer uso de dicho conocimiento en

cualquier situación de estudio relacionada con el presente tema.

 Objetivos

 Comprender, desarrollar y aplicar de manera correcta la lógica proposicional.

 Desarrollar debidamente las proposiciones simples y compuestas al reemplazar un

enunciado, aplicando los conectores lógicos adecuadamente y realizando las tablas de

verdad correctamente.

 Construir operaciones con proposiciones en una oración formulada, partiendo de un

lenguaje natural a un lenguaje formal, y viceversa, expresando simbólicamente el

mismo, generando tablas de verdad acertadas en el número de filas o posiciones.

 Ejercicio 1: Conceptualización de Cuantificadores

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.

Desarrollo del ejercicio 1:

Para el desarrollo del primer punto, se ha escogido el punto C, Cuantificador Existencial,

realizándolo de la siguiente manera:

Cuantificador Existencial: Definición

“Es un tipo de cuantificador dentro del cálculo de predicados, el cual indica que algún o

algunos valores son verdaderos dentro de un dominio o contexto específico” (Cardona,

Torres.2010).

Este es utilizado para señalar la existencia de uno o más elementos en el conjunto, en cuestión

que cumplen con una determinada propiedad. (Definición general de Cuantificadores ABC).
 El Símbolo del Cuantificador Existencial es:

ᴲ
Donde su sistema lógico, se representa de la siguiente manera:

X= Variable

A= Números Naturales

B= Números Pares

Existe x en A que cumple B(x)

Según el (Ebook Central. Bibliotecavirtual.unad.edu.co), este cuantificador se identifica con

frases como:

 Existe al menos un x

 Para Algún x

 Para Algunos x

 Existe un x tal que

 Algunos x
  Cuando menos un x

Ejemplo No.1

Si se quiere representar la expresión:

Existe al menos un Ingeniero o un Veterinario en la familia

Ejemplo No.2

Si se quiere representar la expresión:

Algunos pájaros cantan en la madrugada y de noche

Link de la Presentación en PREZI

https://prezi.com/p/gkv9i9_i-ggi/?present=1
Ejercicio 2: Proposiciones y Tablas de verdad

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2

A. Si la base de un triángulo mide 6 cm y su altura mide 10 cm. Por lo tanto, su área mide 60

cm2

B. Gabriel García Márquez escribió Cien años de soledad o La Ilíada. Si y solo si es un

escritor brillante e ingenioso.

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.

D. Si las películas de Marvel han sido las más taquilleras en los últimos años entonces, la

gran mayoría de las personas las han visto y si la gran mayoría de las personas no las han

visto entonces The Avengers no es una película taquillera.

E. Si Elisa es docente de matemáticas entonces enseña el curso de Estadística o el de Lógica

matemática. Y si ella dicta Herramientas digitales, entonces Elisa no es docente de

matemáticas.
 Desarrollo del ejercicio 2:

Para el desarrollo del segundo punto, se ha escogido el punto C, realizándolo de la siguiente

manera:

Lenguaje Natural:

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.

Lenguaje Formal: Proposiciones Simples: 4

p: Colombia cuenta con una variedad de fauna

q: Colombia cuenta con una variedad de flora

r : La atraviesa la cordillera de los Andes

s: La atraviesa la llanura Amazónica

Expresión Simbólica:

[(p˄q) (r ˄ s)]
 Tabla 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 f
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

Resultado Contingencia
Tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico.
 Ejercicio 3: Problemas de aplicación

A continuación, proposiciones compuestas en lenguaje simbólico (argumento) para el

desarrollo del ejercicio 3:

A. [ p →(q ⋀ r )]

B. [ ( p ∧q ) ⟷ ( ∼r ⋀ s ) ]

C. [ ( p → q ) ⟷ r ]

D. { p ⟷ [ q ∧(r ∨s )] }

E. [ ( ∼ p⟶ q ) ∧( p ∧r ) ]

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

 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

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

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

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia.
 Desarrollo del ejercicio 3:

Para el desarrollo del Tercer punto, se ha escogido el punto C, realizándolo de la siguiente

manera:

C.[ ( p → q ) ⟷ r ]

Lenguaje Natural:

Yo tengo examen de inglés entonces debo estudiar para ganarlo, si y sólo si estudio los

contenidos del tema.

Lenguaje Formal:

Definir las proposiciones simples: 3

p: Yo tengo examen de ingles

q: debo estudiar para ganarlo

r: estudio los contenidos del tema.

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

Yo tengo examen de inglés entonces debo estudiar para ganarlo, si y solo si estudio los

contenidos del tema.

Expresión Simbólica:

[ ( p → q) ⟷ r ]

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 ( p →q ) [ ( 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
Resultado Contingencia
Tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico

Conclusión
 Al finalizar el tema, se puede afirmar que en cada conocimiento adquirido al momento de

realizar ejercicios con proposiciones lógicas, a partir de los diferentes lenguajes y la formación de

una simbología a fin con cada resultado analizado, y ejecutado; se ha podido tener un claro

entendimiento acerca de los conceptos, definiciones y operaciones lógicas desarrolladas, las

cuales, se evidencian durante todo el desarrollo de la temática realizada, prestando toda la

atención y el interés debido, para lograr un trabajo satisfactorio y a conciencia, que pueda servir

como base durante los demás trabajos ejecutados, tanto en el desarrollo del presente análisis,

como en los que puedan venir a futuro.

Referencias Bibliográficas
Cardona Torres, S. A. (01 de Enero de 2010). Lógica matemática para ingeniería de sistemas y

computación. Obtenido de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=109

e-Libro. (01 de Enero de 2010). Obtenido de Ebook Central ProQuest: https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=109

Moreno, V. M. (Abril de 2010). SlideShare.Cuantificadores. Obtenido de

https://www.slideshare.net/guest654125c/cuantificadores

Rodríguez, V. R. (1 de Enero de 2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. Obtenido de https://ebookcentral-

proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3226457&ppg=20