1

Proposiciones y tablas de verdad

Farly Danissa Buitrago Cuellar

Universidad Nacional Abierta y a Distancia (UNAD)

Ciencias Sociales Artes y Humanidades
Psicología
Florencia – Caquetá

2019

*Fabio Ossa
 2

Introducción

En este trabajo vamos a explicar acerca de las proposiciones y tablas de verdad, resaltando

el tema de Equivalencias de cuantificadores, vamos a realizar 3 ejercicios dinámicos para el

desarrollo de esta, en el ejercicio 1 vamos a dar una pequeña definición de cuantificadores

con claros ejemplos, pasando al ejercicio 2 hallamos un problema desarrollado junto a 2

tablas, tabla 1 Tabla de verdad con el simulador Lógica UNAD, tabla 2 Tabla de verdad

manual. En el ejercicio numero 3 encontraremos otro ejercicio resuelto igualmente junto a 2

tablas, dando como objetivo lograr estimular el aprendizaje en el estudiante.

La lógica trabaja con signos. En primer lugar, porque se ocupa del lenguaje, que es un

sistema de signos. En segundo lugar porque crea sus propios signos. Por tanto, antes de

entrar en el estudio de la lógica, vamos a ocuparnos de los signos.

Un signo es un objeto físico. Una bandera roja, un mapa, una nota musical, una palabra

escrita sobre el papel son ejemplos de signos. Una primera característica que tienen los

signos es que hacen referencia a otra cosa: una bandera roja hace referencia a un peligro, un

mapa al lugar geográfico que representa, una nota musical a cierto sonido. Aquello a lo cual

el signo hace referencia se denomina designado.

 3

Objetivos

Aprender a identificar las clases de proposiciones que se puede encontrar en un enunciado.

Entender la aplicación y el efecto que tienen los términos de enlace en las proposiciones.

Analizar proposiciones en nuestro idioma para determinar su validez.

Analizar e interpretar proposiciones para simbolizarlas.

Comprender los principios de las operaciones de la lógica proposicional y sus aplicaciones

en otras áreas de la carrera.

Analizar los enunciados para la elaboración de las tablas de verdad, teniendo en cuenta los

términos de enlace.
 4

Evidencias de diapositivas Power Point

5
6
7
 8

Ejercicio 1
 9

Cuantificadores

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

para indicar cuántos o qué tipo de elementos de un conjunto dado cumplen con cierta propiedad

(Por ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre los más utilizados

están:

Cuantificador universal

∀x,y…

Para todo x, y...

Cuantificador existencial

∃x,y…

Existe al menos un x, y...

Cuantificador existencial único

∃!x,y…

Existe exactamente un x, y...

Negación del cuantificador existencial

∄x,y…

No existe ningún x, y...

 10

Declaraciones cuantificadas

Las declaraciones cuantificadas se escriben en la forma:

∀x∈R,2x∈R

Para todo x que pertenece a R, se cumple que 2x pertenece a R.

∀a∈R,∃x∈R:a<x<(a+1)

Para todo a que pertenece a R, existe x que pertenece a R, que está comprendido entre a y a+1.

∀a∈R−{0},∃!x∈R:a⋅x=1

Para todo a que pertenece a R diferente de cero, existe un único x que pertenece a R, que cumple que a porque es

Igual a 1.

Proposiciones

Cuantificación universal

El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto cumplen con una

determinada propiedad. Por ejemplo:

∀x∈A:P(x)

Para todo x perteneciente a A, se cumple P(x).

Esta afirmación suele usarse como la equivalente de la proposición siguiente:

A={x∈U:P(x)}

Se define el conjunto A, como el de los elementos x de U, que cumplen P(x).

 11

Cuantificación existencial

El cuantificador existencial se usa para indicar que hay uno o más elementos en el conjunto A (no necesariamente

único/s) que cumplen una determinada propiedad. Se escribe:

∃x∈A:P(x)

Existe x en A que cumple P(x).

Esta proposición suele interpretarse como la equivalente de la proposición siguiente:

{x∈A:P(x)}≠∅

El conjunto de los elementos x de A, que cumplen P(x) es distinto del conjunto vacío.

Cuantificación existencial única

El cuantificador existencial con marca de unicidad se usa para indicar que hay un único elemento de un conjunto A q

cumple una determinada propiedad. Se escribe:

∃!x∈A:P(x)

Se lee:

Existe una única x elementos de A, que cumple P(x).

Equivalencias

Se tienen las siguientes relaciones universales:

∀x∈A:P(x)⟷¬∃x∈A:¬P(x)

Si: para todo x de A se cumple P(x), es equivalente a: no existe x en A que no cumpla P(x).
 12

∃x∈A:P(x)⟷¬∀x∈A:¬P(x)

Si: existe x en A que cumple P(x), es equivalente a: no para todo x de A, no se cumple P(x).

En cuanto al cuantificador existencial único puede considerarse una extensión por definición en un lenguaje formal c

igualdad teniendo dada la equivalencia:

∃!x∈A:P(x)⟷∃z∈A ∀x,y∈A:P(z)∧(P(x)∧P(y)→x=y)

Si: existe un único x en A que cumple P(x), es equivalente a: para todo x, y de A, que cumple P(x) y P(y), entonces x es

igual a y.

Ejemplo :

Todo estudiante de esta clase ha estudiado cálculo.

P(x) : "x es estudiante de la clase de MDI"

Q(x) : "x ha estudiado cálculo"

"x(P(x) ® Q(x))

P(x) : "x + 1 > x" es verdadera la proposición "xP(x), cuál es el universo del discurso donde es verdadero.

Q(x) : "x < 2" es verdadera la proposición "xQ(x) el universo de los reales.

P(x) : "x*x <10" cuál es el universo del discurso donde es verdadero.

 13

Ejercicio 2

Si Lina consume alimentos balanceados y practica ejercicio regularmente, entonces goza de

buena salud. Si Lina no practica ejercicio regularmente o se dedica a otras actividades, no

gozará de buena salud.

Proposiciones simples del argumento

p = Lina consume alimentos balanceados

q = practica ejercicio regularmente

r = goza de buena salud s = se dedica a otras actividades

Definición en lenguaje simbólico o formal:

(¬ q ∨ s) → (¬ r )

Tabla de verdad con el simulador Lógica UNAD

 14

Tabla de verdad manual

q r s ¬q (¬ q ∨ s) (¬ r ) (¬ q ∨ s) → (¬ r )
V V V F V F F
V V F F F F V
V F V F V V V
V F F F F V V
F V V V V F F
F V F V V F F
F F V V V V V
F F F V V V V

Resultado de la tabla de verdad: CONTINGENCIA

 15

Segunda parte

Si Lina consume alimentos balanceados y practica ejercicio regularmente, entonces goza de

buena salud.

(p ∧ q) → r

Tabla de verdad con el simulador Lógica UNAD

Tabla de verdad manual

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

Resultado de la tabla de verdad: CONTINGENCIA

 16

Ejercicio 3

(𝑝 → 𝑟) ∧ (𝑞 ∨ ¬𝑝)

p: Hago los trabajos

q: soy responsable
r: paso Pensamiento Lógico Matemático

Lenguaje natural de la expresión formal:

Si hago los trabajos entonces paso Pensamiento Lógico Matemático y soy responsable o no
hago los trabajos.

 Tabla de verdad con el simulador Lógica UNAD

 17

 Tabla de verdad manual

p q r ¬p (p →r) (q ∨ ¬p) (𝑝 → 𝑟) ∧ (𝑞 ∨ ¬𝑝)

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

Resultado de la tabla CONTINGENCIA

Bibliografía

Proposiciones y tablas de verdad

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=3226

457&tm=1529246259924
 18

Proposiciones y Conectores lógicos

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado

dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=319

9701&tm=1529335849013

Cuantificadores

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

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado

de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID=31

99701&tm=1529510366591

Tablas de verdad

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de

proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961

19