TAREA 1 – PROPOSICIONES Y TABLAS DE VERDAD

Liseth Dayanna Villanueva Cardozo (Cód. 1.006.504.145)

Tutora: Angélica María Antia

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES (ECSAH)
PROGRAMA DE PSICOLOGÍA
FLORENCIA (CAQUETÁ), 29 DE ABRIL DEL 2020.
 INTRODUCCIÓN

En el siguiente trabajo una serie de temática desarrollada a lo largo del curso de pensamiento
lógico y matemático, entre las cuales se aplica la conceptualización de cuantificadores, la
definición de las proposiciones simples del argumento, la definición del lenguaje simbólico al
formal, la elaboración de tablas de verdad.
 OBJETIVOS

OBJETIVO GENERAL

 Fortalecer los conceptos y temas adquiridos en las unidades de

lógica matemática.

OBJETIVOS ESPECIFICOS

 Dar uso a las formas básicas de las tablas de verdad.

 Demostrar la validez o no validez de situaciones problemas por

medio de los principios de lógica.
Ejercicio 1: Conceptualización de Cuantificadores.

CUANTIFICADOR UNIVERSAL AFIRMATIVO

Pensamiento Lógico y Matemático

Liseth Dayanna Villanueva Cardozo

Tutora: Angélica María Antia
Grupo: 200611_491

Ejercicio 2: Proposiciones y Tablas de Verdad

 Argumento:

A. Cali es la capital de la salsa o Medellín es la ciudad de la eterna primavera si y solo si

Bucaramanga es la ciudad bonita y Barranquilla es la puerta de oro de Colombia.

 Proposiciones Simples: (se define cada proposición simple del argumento, siempre en
afirmativo y con letras en minúscula).
p = Cali es la capital de la salsa.

q = Medellín es la ciudad de la eterna primavera.

r = Bucaramanga es ciudad bonita.

s = Barranquilla es la puerta de oro de Colombia.

 Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico.

[( 𝑝 v 𝑞 )] ↔ ( 𝑟 ∧ s )
  Tabla de la verdad (manual):

p q r s (𝑝v𝑞) (𝑟∧s) [( 𝑝 v 𝑞 )] ↔ ( 𝑟 ∧ s )
v v v v v v v
v v v f v f f
v v f v v f f
v v f f v f f
v f v v v v v
v f v f v f f
v f f v v f f
v f f f v f f
f v v v v v v
f v v f v f f
f v f v v f f
f v f f v f f
f f v v f v v
f f v f f f v
f f f v f f v
f f f f f f v

 Resultado de la tabla de verdad: CONTINGENCIA

p q r s [( 𝑝 v 𝑞 )] ↔ ( 𝑟 ∧ s )
v v v v v
v v v f f
v v f v f
v v f f f
v f v v v
v f v f f
v f f v f
v f f f f
f v v v v
f v v f f
f v f v f
f v f f f
f f v v v
f f v f v
f f f v v
f f f f v
Ejercicio 3: Problemas de aplicación

A. (¬ p ∧ r) ↔(q ∨ s)

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

No está lloviendo y esta nublado, si y solo si, hay nubles visibles o esta soleado.

p= está lloviendo.
q= hay nubes visibles.
r= esta nublado.
s= esta soleado.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.

P q r s (¬ p ∧ r)↔(q ∨ s)

v v v v f
v v v f f
v v f v f
v v f f f
v f v v f
v f v f v
v f f v f
v f f f v
f v v v v
f v v f v
f v f v f
f v f f f
f f v v v
f f v f f
f f f v f
 P q r s (¬ p ∧ r)↔(q ∨ s)

f f f f v

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r s ( ¬ p ∧r ) (q ∨ s ) ( ¬ p ∧r ) ↔ ( q ∨ s )

v v v v f f v v v v f
v v v f f f v v v f f
v v f v f f f v v v f
v v f f f f f v v f f
v f v v f f v f v v f
v f v f f f v f f f v
v f f v f f f f v v f
v f f f f f f f f f v
f v v v v v v v v v v
f v v f v v v v v f v
f v f v v f f v v v f
f v f f v f f v v f f
f f v v v v v f v v v
f f v f v v v f f f f
f f f v v f f f v v f
f f f f v f f f f f v

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

contingencia.

Resultado de la tabla de verdad: Contingencia