Universidad Nacional Abierta y a Distancia Vicerrectoría Académica y de

Investigación Guía de actividades y rúbrica de evaluación – Tarea 1 – Proposiciones y

Tablas de Verdad

Melissa Naranjo Guzman

2019

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Pensamiento Lógico Matemático

 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 o no. La lógica es ampliamente aplicada en la
filosofía, matemáticas, computación, física.

La lógica de proposiciones o calculo proposicional, es la rama de la lógica matemática,

también conocido como la lógica de orden cero, que estudia las proposiciones de la manera
más general posible, es decir, no se centra conceptualmente en la estructura de los
argumentos ni su formalización. El punto aquí es la relación básica de las proposiciones con
otras proposiciones por medio de conectores lógicas y la actividad o comportamiento de la
validez de estas, en este caso de las proposiciones.

Esta rama de la lógica se centra solo en la estructura que rodea las proposiciones ya sean
simples o compuestas, pero no en la estructura de los argumentos que las proposiciones
llevan, las toma de manera muy general, las únicas variables semánticas formalizadas son
solo el de ser verdadero o falso y la semántica de los argumentos se toma de manera intuitiva
y sin ninguna formalización.
 Objetivos

 Definir términos solo para el desarrollo de la unidad

 Desarrollar ejercicios en torno al tema cuantificador universal

 Diseñar tablas de verdad

 Presentar las características que tienen las lógicas proposicionales, donde

aprenderemos a distinguir e identificar su lenguaje
 Ejercicio 1: Tema propuesto: B. Cuantificador Universal Negativo

Cuantificadores

Cuando se habla de cuantificadores en términos de Lógica, se hace referencia a aquellos

símbolos que se utilizan para indicar cantidad en una proposición, es decir, permiten
establecer “cuantos” elementos de un conjunto determinado, cumplen con cierta propiedad.

¿Qué es un cuantificador universal?

Existen especialmente en matemáticas, expresiones que contienen variables tales como x, y,

z, etc., para las cuales su valor de verdad depende del valor que tome la variable.
En una gran mayoría de situaciones matemáticas es interesante considerar la posibilidad de
que el conjunto de verdad de una función proposicional sea la totalidad de los elementos del
conjunto universo, llamado también conjunto referencial (que se simboliza por U o R
respectivamente), este se simboliza como x que se lee: “para todo x”, “todo x”, “para cada
x” o “cada x” y se llama cuantificador universal.
En este caso la proposición se simboliza como (x  U) P(x), que se lee: “para todo x
elemento de U, se cumple P(x)”, y si el dominio de la variable está sobreentendido, se escribe
simplemente (x) P(x), que se puede leer como: “para todo x P(x)”, “para cada x P(x)” o
bien “para cualquier x P(x)”.

Cuantificador Universal Negativo

Las frases que continuamente se usan para denotar el cuantificador universal negativo son:
 Para ningún x
 Ninguno
 No
 Nadie
 Nada
La siguiente tabla proporciona algunas de las negaciones comunes con cuantificadores:

Explicación:

Ningún conductor de automóvil responsable es un peligro para la vida de los demás.

Esta es una proposición universal negativa. Niega (en forma universal) que los conductores
responsables son un peligro para la vida de los demás.
En este caso se hace referencia a dos clases:
1. Conductor de automóvil responsable
2. personas que ponen en peligro la vida de los demás
La primera clase excluye a la segunda, la excluye totalmente, es decir, que no hay ningún
miembro de la primera clase (conductor responsable) que también pertenezca a la segunda
(que represente un peligro para la vida de los demás). Todas las proposiciones universales
negativas se pueden escribir así:
Ningún S es P, donde S representa el término sujeto y P el término predicado.

La proposición recibe el nombre universal negativo, porque la proposición niega que la

relación de inclusión de clase tenga lugar entre las dos clases y lo niega en forma universal:
no hay ningún miembro de S que también lo sea de P.
Ejemplo:

1. Algunos estudiantes no prestan atención a la clase.

Se considera la siguiente simbolización

P(x): x presta atención a la clase

Simbolización:

Negación:
Negación en palabras: todos los estudiantes prestan atención a la clase.

2. Todo estudiante de ingeniería ha estudiado calculo

P(x): “x es estudiante de la ingeniería”

Q(x): “x ha estudiado calculo”

∀ x P (x) Q (x)

Presentación: https://prezi.com/view/8nfcsVyWwKy31LvWjPOI
 Ejercicio 2

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.

Proposiciones simples del argumento:

p. El arcoíris se forma con muchos colores

q. El agua de lluvia interactúa con los rayos de luz solar
r. El sol está detrás de las nubes

Lenguaje simbólico o formal:

 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

p↔q

 Si el sol está detrás de las nubes entonces, el arcoíris no se forma con muchos
colores.

r → ~p

Lenguaje simbólico

(p ↔ q) v (r → ~p)
Tabla de verdad con el simulador Lógica UNAD

Tabla de verdad manual

Resultados

El resultado obtenido es una Contingencia puesto que encontramos por lo menos un resultado
falso.
 Ejercicio 3: Tema propuesto: B

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

p. Melissa tiene parcial de lógica mañana

q. Estudia todo el día
r. Melissa pierde el parcial
s. Pierde la materia

Lenguaje Natural

Melissa tiene parcial de lógica mañana entonces estudia todo el día y si melissa pierde el
parcial igualmente pierde la materia.

Tabla de verdad simulador UNAD

Tabla de la verdad manual

Resultado:
El resultado obtenido es una Contingencia puesto que encontramos por lo menos un resultado
falso.
 Conclusiones

Como resultado del desarrollo del tema de la tarea 1, es posible concluir que los
cuantificadores universales tienen frases que los diferencian a cada uno, en este caso el
negativo y se pudo ampliar el darlo a conocer mediante ejemplos y ejercicios.

De igual manera podemos observar que al realizar tablas de verdad mediante programas
digitales y hacerlas manualmente obtendremos el mismo resultado, pues ambos métodos
persiguen un mismo objetivo.

Cabe resaltar que se pudo dar a conocer como expresar de manera clara el lenguaje utilizado
en las proposiciones y de este modo diferenciar entre oraciones simples y compuestas y la
utilización de conectores.
 Bibliografía

Universidad San Buena Ventura Cali. (2016). Guía Lógica Proposicional Tema III:
Cuantificadores. Recuperado de:
http://lidis.usbcali.edu.co/Proyectos/matematicasDiscretas/2016-
1/grupo1/guiaslogica/Cuantificadores.pdf

Peñaloza;E. (2018). Conceptualización de Cuantificadores. Recuperado de:

https://es.calameo.com/read/0045655534349753ea10a

Cardona, T.S.A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.
106 – 112). Ediciones Elizcom, Madrid.

Marin J. (2019). [Simulador Lógica UNAD]. Recuperado de: http://logicaunad.com/jtruth/

Copyright © 2019 Ciencias Basicas, Lógica Proposicional, Recuperado de https://ciencias-

basicas.com/seccion-piloto-de-logica-proposicional/

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. (pp.
9-28). Ediciones Elizcom, Madrid