UNIDAD 1. TAREA 1.

PROPOSICIONES Y TABLAS DE VERDAD

PILAR CRISTINA AHUMADA ARMENTA

CEL. 3024220452

TUTOR. CARLOS ALBERTO ACEVEDO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES “ECSAH”

2019
 INTRODUCCION

En este trabajo encontraremos unos ejercicios de CUANTIFICADORES EXISTENCIAL, el cual fue el

tema que elegí a resolver, encontraremos conceptualización y cuantificadores, proposiciones y
tablas de verdad y por último problemas de aplicación.
 OBJETIVO

Poder resolver cada uno de los puntos del ejercicio, aprendiendo y/o ir avanzando en
conocimiento y destreza a medida que vaya progresando en mi carrera y como persona.
 CUANTIFICADOR EXISTENCIAL

Es otro tipo de cuantificador dentro del cálculo de predicados, el cual indica que alguno o algunos
valores son verdaderos dentro de un dominio o contexto específico.

En el cálculo podemos utilizar el cuantificador existencial poniéndolo en una variable para decir
que existe en un elemento de un conjunto al referirnos a una variable.

Ejemplo.

1. Existe al menos hombres con cabello.

Existe al menos un X tal que es X hombres y X es calvo

∃x (hombres(x) ^ (calvo(x))

2. Existe al menos un una doctora o una cocinera en la sociedad.

En la sociedad existe al menos una x que es doctora o una cocinera

∃x (sociedad(x) -> doctora(x) v cocinera(x)

EJERCICIO 2: PROPOSICIONES Y TABLAS DE VERDAD

C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una

empresa estadounidense y Si Huawei es una empresa china entonces no tiene Android de
Google.

Proposiciones simples.

P. empresas estadounidenses pueden negociar con empresas chinas.

Q. Google es una empresa estadounidense
R. Huawei es una empresa china
S. Tiene Android de google

Lenguaje simbólico o formal

[(¬p v q )̂ ^ ( r -> ¬ s)]

Tabla de verdad manual (contingencia)
p q r s ¬p v q ^ r -> ¬s
V V V V F V V F V F F
V V V F F V V V V V V
V V F V F V V V F V F
V V F F F V V V F V V
V F V V F F F F V F F
V F V F F F F F V V V
V F F V F F F F F V F
V F F F F F F F F V V
F V V V V V V F V F F
F V V F V V V V V V V
F V F V V V V V F V F
F V F F V V V V F V V
F F V V V V F F V F F
F F V F V V F V V V V
F F F V V V F V F V F
 F F F F V V f V F V V

EJERCICIO 3: PROBLEMAS DE APLICACIÓN

[(p v q) ⟷ r]

Los estudiantes de la UNAD escriben sus inquietudes en el foro, el tutor lee y atiende sus
preguntas
PROPOSICIONES SIMPLES
P. Los estudiantes de la UNAD
Q. Escriben sus inquietudes en el foro
R. El tutor lee y atiente sus preguntas

TABLA DE VERDAD CON EL SIMULADOR DE LOGICA UNAD

 TABLA DE VERDAD

p q r (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 F
F F F F V

Argumento. Podemos ver en el ejercicio el resultado de combinación entre falso y verdadero

 REFERENCIA

 http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.act
ion?ppg=20&docID=3226457&tm=1529246259924
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.ac
tion?ppg=12&docID=3199701&tm=1529335849013
 https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.a
ction?ppg=109&docID=3199701&tm=1529510366591
 http://hdl.handle.net/10596/7961