Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

Presentado por

LIDIS RIVERA

Tutor MARLON ANDRES PINEDA

Universidad nacional abierta y a distancia UNAD

Programa de psicología

Septiembre de 2019
 Introducción

Con el presente trabajo doy inicio a los temas de proposiciones y tablas de verdad la
cual como estudiante seleccione la letra c, la cual a continuación expongo.
 Objetivos

Tabla de verdad es una tabla que muestra el valor de verdad de una proposición
compuesta, para cada combinación de verdad que se pueda asignar.
Aprender a identificar las clases de proposiciones que se puede encontrar en un
enunciado.
Ejercicio 1
Cuantificador existencial

Este cuantificador indica que algún o algunos valores son verdaderos dentro de un
dominio o contexto específico.
Sea A una expresión, y sea x una variable. Se indica que A es verdadero para cuando
menos un valor de x, escribiremos ∃xA.
Esta frase se lee “existe un x tal que A”. Aquí, ∃xA se denomina cuantificador
existencial, y se dice que A es el ámbito (alcance) del cuantificador existencial. Se dice
que la variable x está ligada por el cuantificador. El símbolo ∃ se lee “existe al menos”.

Estos son algunos enunciados que se utilizan.

Existe al menos un x
Para algún x
Para algunos x
Existe un x tal que
Algunos x
Cuando menos un x

Ejemplos
Existe al menos un colombiano que juega golf y es taxista:
∃x (colombiano(x) juega golf(x) ^taxista(x) )
Algunos taxistas no conocen direcciones:
∃x (taxista(x) ^ ¬direcciones(x)

Ejercicio 2: proposiciones y tabla de la verdad.

Argumento:

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.
  Proposición simple:

p=empresas estadounidenses

q=pueden negociar con empresas chinas

r=google es una empresa estadounidense

s=huawei es una empresa china

t=android de google

 lenguaje simbólico:
~p→q∨r∧s→~t

 tabla de la verdad:
Resultado de tabla de la verdad: contingencia.

Simulador de lógica: UNAD.

p q r s ~p→q∨r∧s→~t

v v v v v F

v v v v f V

v v v f v F

v v v f f V

v v f v v F

v v f v f V

v v f f v F

v v f f f V

v f v v v F

v f v v f V

v f v f v F

v f v f f V

v f f v v F
 v f f v f V

v f f f v F

v f f f f V

f v v v v F

f v v v f V

f v v f v F

f v v f f V

f v f v v F

f v f v f V

f v f f v F

f v f f f V

JTabla -
Resultados

p q r s t ~p→q∨r∧s→~t

f f v v v F
 f f v v f V

f f v f v V

f f v f f V

f f f v v V

f f f v f V

f f f f v V

f f f f f V

Ejercicio 3: problemas de aplicación

Expresión formal o simbólica (dada en el planteamiento del ejercicio):

C. [(𝑝 ⋁𝑞) ⟷ 𝑟]

Definición de las proposiciones simples:

p=realizo el curso de cátedra unadista

q=realizo el curso de pensamiento lógico
r=cumplo con lo planeado.

Lenguaje natural de la expresión formal:

Si realizo el curso de cátedra unadista o realizo el curso de pensamiento lógico. Si y

solo si realizo los talleres entonces cumplo con lo planeado.

Tabla de la verdad manual:

 p q r (pvq) (pvq)<->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

Resultado de la tabla de verdad: contingencia.

Tabla de verdad con el simulador Lógica UNAD:

Conclusiones
Estas tablas pueden construirse haciendo una interpretación de los signos lógicos como:
no, o, y, si…entonces, sí y sólo si. La interpretación corresponde al sentido que estas
operaciones tienen dentro del razonamiento.
Referencias bibliográficas

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=
3199701&tm=1529335849013

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=322
6457&tm=1529246259924

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=31
99701&tm=1529335849013

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=3
199701&tm=1529510366591

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

Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de

http://hdl.handle.net/10596/13871