Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

Patricia Rojas Castillo

49 669 283

Tutora: Nayives Xilena Trujillo

Curso: 200611_866

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias de la Educación
Licenciatura en Pedagogía Infantil
Aguachica, 2019
 Introducción

Mediante el siguiente trabajo se busca obtener los conocimientos necesarios sobre el tema
seleccionado, Cuantificador Existencial y las diferentes proposiciones y tablas de verdad que surjan
de la solución de dichas proposiciones, clasificándolas, dependiendo del resultado en
contingencia, tautología o contradicción. Logrando que nosotros como estudiantes tengamos la
capacidad de resolver problemas, implementando procedimientos matemáticos aprendidos
durante el transcurso de la actividad.
 Objetivo General

Obtener conocimientos sobre Lógica Matemáticas, para tener herramientas necesarias para
resolver problemas sobre Cuantificadores existenciales y tablas de verdad.

Objetivos Específicos

 Trabajar estrategias generales que puedan emplearse para abordar problemas sobre
cuantificadores.
 Desarrollar operaciones lógicas.
 Usar los símbolos básicos empleados en lógica.
 Interpretar expresiones lógicas sencillas.
 Generar tablas de verdad.
Ejercicios 1

Cuantificador Existencial
Ejercicios 2

C. Pereira es el nombre de una ciudad o Pereira es un apellido, entonces Pereira es un

sustantivo

Proposiciones atómicas o simples: Son aquellas que no contienen conjunciones o términos

de enlace.
Proposiciones simples:
p: Pereira es el nombre de una ciudad
q: Pereira es un apellido
r: Pereira es un sustantivo

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

pvq→r

Tabla de verdad con el simulador Lógica UNAD

Tabla de verdad manual

p q r (p v q) (p v q) → r

v v v v v

v v f v f

v f v v v

v f f v f

f v v v v

f v f v f

f f v f v

f f f f v

Se puede decir que es una tabla de la verdad cuyo resultado es una contingencia ya que
tiene una mezcla de verdaderos y falsos.
Ejercicios 3

C. (𝑝↔¬𝑞) ∨ (𝑞 ∧ 𝑟)
Proposiciones Simples
p: William estudia en la universidad
q: cumple requisitos
r: está matriculado en otra universidad

Lenguaje Natural
William estudia en la universidad si y solo si, no cumple los requisitos o cumple los
requisitos y esta matriculada en otra universidad. Por lo tanto, William estudia en otra
universidad.
Tabla de Verdad simulador Lógica UNAD
Tabla de verdad manual
p q r ¬q (p ↔ ¬q) (q ∧ r) (p ↔ ¬q) v (q ∧ r)

v v v f f v v
v v f f f f f
v f v v v f v
v f f v v f v
f v v f v v v
f v f f v f v
f f v v f f f
f f f v f f f

Esta tabla de verdad es una contingencia ya que tiene una mezcla de verdaderos y falsos.
 Conclusiones

Al concluir esta actividad sobre el tema seleccionado por mi Cuantificador existencial, mi

conocimiento sobre la lógica matemática ha mejorado, no tenia conocimientos previos sobre estos
temas, pero a medida que fui desarrollando la actividad fui aprendiendo, conociendo los
diferentes símbolos que se utilizan y como generar una tabla de verdad utilizando el generador de
tablas de la UNAD, o realizándola de forma manual.

Es muy enriquecedor ampliar nuestros conocimientos con nuevos temas, los cuales muchas veces
se nos dificultan por la complejidad que ellos mismos tienen, pero intentando e intentando, se
logran solucionar y cumplir con la actividad.
Referencias Bibliográficas
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://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013
Jairo Marin. [Jairo Marin]. (2019). [Simulador Truth]. Recuperado de:
http://logicaunad.com/jtruth/
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&docID=3226457&tm=1529246259924
http://pastoravelasquezospinacursoesencialbu.blogspot.com/2010/06/proposiciones-con-
cuantificadores.html
https://prezi.com/k2_z7pmb4mlb/cuantificadores-existenciales/