TAREA-1

PROPOSICIONES Y TABLAS DE VERDAD

DAYANNA VARGAS CARREÑO

TUTOR: NEVARDO ALONSO AYALA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS DE LA SALUD (ECISA)
PROGRAMA TECNOLOGIA RADILOGIA E IMÁGENES DIAGNOSTICAS
PENSAMIENTO LOGICO Y MATEMATICO
GRUPO: 200611_388
BUCARAMANGA
2018
 1- Conceptualización de cuantificadores

Cuantificador existencial
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

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

NEXO SIMBOLO SIGNIFICADO

LOGICO
Negación ¬o¯ No o no es cierto que p
Conjunción ^ Pyq
Disyunción ˅ P o q o ambas
inclusiva
Condicional → Si p, entonces q
Bicondicional ↔ Si y solo si p, entonces q
Disyunción ⊻ P o q, pero no ambas
exclusiva

Ejemplo 1

1- Para la expresión: “Para algún x P (x)”, entonces Ǝxp(x).

2- Para la expresión: “algunos estudiantes de sistemas han estudiado lógica” como una
cuantificación existencial.
Sea P(x)= “x ha estudiado lógica”
Donde x= alumnos de la UNAD
Se puede expresar como ƎxP(x) existen algunos estudiantes de la UNAD que han
estudiado lógica.

Ejemplo 2

De acuerdo a los nexos lógicos, interprete la siguiente preposición.

Si p = “hay nubes” y q “no se ve la luna”, la preposición “si hay nubes entonces no se
ve la luna”. Se simboliza a través de:
Rta: p→q
 2- Proposiciones y tabla de verdad

C. Este fin de semana, voy a hacer un asado y voy a realizar una actividad en la piscina
y voy a pasar tiempo agradable con mi familia.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:

2.1 Definir las preposiciones simples del argumento

p= este fin de semana
q= voy a hacer un asado
s= voy a realizar una actividad en la piscina
t = voy a pasar tiempo agradable con mi familia

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

{[𝑝 → (𝑞 ∧ 𝑠)] ∧ (𝑞 ⟺ 𝑠) ∧ 𝑝} ⟶ 𝑡

2.3 Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje
simbólico (El estudiante encontrará la guía para el uso de recursos educativos
simulador TRUTH, en el entorno de aprendizaje práctico, así como el link de acceso
al recurso)

p q s t (q∧s) (q ↔ s ) p → ( q Λ s ) q↔s)Λp [ p → ( q Λ s ) ] Λ [(q ↔ s ) Λ p ] { [ p → ( q Λ s ) ] Λ [(q ↔ s ) Λ p ] } → t

V V V V V V V V V V
V V V F V V V V V F
V V F V F F F F F V
V V F F F F F F F V
V F V V F F F F F V
V F V F F F F F F V
V F F V F V V F F V
V F F F F V V F F V
F V V V V V F F F V
F V V F V V F F F V
F V F V F F F F F V
F V F F F F F F F V
F F V V F F F F F V
F F V F F F F F F V
F F F V F V F F F V
F F F F F V F F F V
2.4 Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

{[ p > ( q & s ) ] & [(q = s ) & p ] } > t Formula en lenguaje True Table

Truth Table

p q s t { [ p → ( q Λ s ) ] Λ [(q ↔ s ) Λ p ] } → t

T T T T T

T T T F F

T T F T T

T T F F T

T F T T T

T F T F T

T F F T T

T F F F T

F T T T T

F T T F T

F T F T T

F T F F T

F F T T T

F F T F T

F F F T T

F F F F T

3. Problemas de aplicación
 C. [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

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

deberá:

3.1 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.

p: Dayana es estudiante de la UNAD

q: trabaja en una peluquería en el día

r: hace sus trabajos en la noche

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

Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
encontrar proposiciones iguales entre estudiantes se considerara como copia y se
tomaran las medidas correctivas estipuladas por la UNAD.

Si Dayana es estudiante de la UNAD , entonces trabaja en una peluquería en el día y si

no trabaja en la peluquería y hace sus trabajos en la noche, entonces trabaja en la
peluquería en el día , entonces Dayana hace sus trabajos en la noche.

3.3 Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador TRUTH, en el Entorno de Aprendizaje Práctico, así como el link de
acceso al recurso)

{( p > q ) & ( ~q ) & ( r > q ) } > (r) Formula en lenguae True Table

Truth Table

p q r {( p → q ) Λ ( ¬q ) Λ ( r → q ) } → (r)

T T T T

T T F T

T F T T

T F F T
 F T T T

F T F T

F F T T

F F F F

3.4 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

q r (𝑝⟶𝑞) (∼𝑞) (r⟶q) (𝑝⟶𝑞)∧(∼𝑞) [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)] [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

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

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

contingencia

Dado que al realizar la tabla de la verdad uno de los resultados lógicos de la evaluación
es falso y todos los demás son verdaderos, es una Contingencia.

BIBLIOGRAFIA

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

computación. (pp. 106-112). Ediciones Elizcom, Madrid.
▪ Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid.
▪ 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.