i

PENSAMIENTO LÓGICO Y MATEMÁTICO

UNIDAD 1: TAREA 1 - PROPOSICIONES Y TABLAS DE VERDAD

JOSE JORGE TORRES, CÓD. 12436361

200611A_474

GONZALO FESTER

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
INGENIERÍA INDUSTRIAL
COLOMBIA, Septiembre 2018
 ii

Objetivos

Objetivo General

Determinar el valor de verdad de una proposición simple o compuesta haciendo uso de los
conectores lógicos y sus respectivas tablas de verdad.

Objetivos Específicos

 Reconocer y diferenciar los distintos conectores lógicos.

 Diferenciar entre tautología, contradicción o contingencia.
 Denotar proposiciones mediante un lenguaje lógico matemático.
 Denotar proposiciones mediante un lenguaje lógico natural.
 1

Introducción

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y
técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía,
matemáticas, entre otras ramas del conocimiento. Esta es muy importante; ya que permite
resolver problemas tanto de la vida cotidiana como aquellos establecidos matemáticamente.

En este trabajo se trata se presentan las explicaciones acerca de los conceptos, usos y
ejemplos acerca de los conectores lógicos, usos y ejemplos; haciendo uso de sus de la lógica de
proposiciones y utilizando herramientas digitales como el simulador Truth Table.
 2

Desarrollo del trabajo

Ejercicio 1

Cuantificadores

En lógica, teoría de conjuntos y matemáticas en general, los cuantificadores son símbolos

utilizados para indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad. Los
enunciados en los cuales se presentan expresiones tales como algunos (o existe o hay), todo (o
siempre o cada) se denominan cuantificador existencial (o particular) y cuantificador universal (o
referencial).

Notación de Cuantificadores

Para denotar un enunciado cuantificado se escribe el cuantificador correspondiente

seguido del predicado del enunciado cuantificado. El predicado previamente se escribe con letras
mayúsculas, seguido de dos puntos; entre comillas se agrega el enunciado afirmativo, utilizando
el verbo principal en infinitivo.

Cuantificador Universal

Los enunciados de la forma para todo, siempre o cualquiera se denominan enunciados

universales o referenciales. Para trascribirlos se utiliza el denominado cuantificador universal y
se simboliza con:

Cuantificador existencial

Los enunciados que utilizan las palabras: algunos, hay o existen se denominan enunciados
existenciales o particulares. Para trascribirlos se utiliza el denominado cuantificador existencial y
se simboliza con:
 3

Diferencias entre los cuantificadores

Cuando se tiene un enunciado existencial se está afirmando que hay o existen individuos
que cumplen la propiedad. Ejemplo, el enunciado “algunas hojas de árboles son de color rojo” se
está afirmando que existen hojas de árbol que son de color rojo.

Sin embargo, no sucede lo mismo cuando se tiene un enunciado universal no se está

asegurando que existan individuos que cumplan la propiedad dada. Por ejemplo, “todas las hojas
de árboles son de color rojo”. Este enunciado no está afirmando que existan árboles con hojas;
simplemente se está afirmando que cualquiera que sea hoja de árbol deberá ser de color rojo.

Ejemplos:

1. Todos los Ingenieros Industriales saben matemáticas.

V: “sabe matemáticas”

(∀x)(Vx) se lee: Para todo x, x sabe matemáticas.

2. Hay Ingenieros Industriales que son bilingües.

M: “Son bilingües”

(∃ x) M(x) se lee: Hay un x, tal que x son bilingües.

Ejercicio 2

A. Si la Selección Colombia va al mundial y James juega los partidos, Entonces la

Selección Colombia será finalista del Mundial de Rusia.
Proposiciones simples:

p: Si La selección Colombia va al mundial.

q: James juega los partidos.
r: La Selección Colombia será finalista del Mundial de Rusia.

Proposición compuesta en lenguaje natural:

Si La selección Colombia va al mundial y James juega los partidos entonces la Selección

Colombia será finalista del Mundial de Rusia.

Proposición compuesta en lenguaje simbólico:

 4

[(𝒑 ⋀ 𝒒) → r]

Tabla de verdad manual:

p q r (𝒑 ⋀ 𝒒) [(𝒑 ⋀ 𝒒) → r]
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V

Tabla de verdad simulador Truth Table:

Ejercicio 3

Proposición compuesta en lenguaje simbólico

 5

Proposiciones simples:

p: Jose estudia en la UNAD

q: Trabaja fuera de la ciudad.
r: Descansa los fines de semana.

Proposición compuesta en lenguaje natural:

Jose estudia en la UNAD entonces trabaja fuera de la ciudad y si no estudia en la UNAD

entonces descansa los fines de semana. Entonces, no descansa los fines de semana entonces Jose
estudia en la UNAD.

Tabla de verdad manual:

1. (𝑝⟶𝑞)
2. (∼𝑝⟶𝑟)
3. (∼r⟶p)
4. 1 ∧ 2
5. 4 ⟶ 3

p q r ∼p ∼r 1 2 3 4 5
V V V F F V V V V V
V V F F V V V V V V
V F V F F F V V F V
V F F F V F V V F V
F V V V F V V V V V
F V F V V V F F F V
F F V V F V V V V V
F F F V V V F F F V
 6

Tabla de verdad simulador Truth Table:

Ya que la tabla de verdad de la proposición compuesta siempre es verdadera,

independientemente de la verdad o falsedad de las proposiciones simples, entonces la expresión
es una tautología.
 7

Conclusiones

 Toda afirmación no puede ser probada dentro del formalismo ni como verdadera ni
como falsas verdadera.

 La formulación de proposiciones y la escogencia de los conectores lógicos

adecuados contribuyen a la determinación de del valor de verdad de una proposición.

 Existen varios tipos conectores lógicos; sin embargo, es necesario llevar un orden
de izquierda a derecha al resolver un ejercicio lógico matemático. Resolviendo el orden
de los signos de agrupación y teniendo en cuenta el orden de prioridades de estos.
 8

Referencias Bibliográficas

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.

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

Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID=3199701&
tm=1529510366591

https://matedisunidad3.wordpress.com/category/3-2-1-cuantificadores/

https://medium.com/@matematicasdiscretaslibro/6-logica-de-cuantificadores-
d453d859dd20