• Author / Uploaded
• Liseth Dayanna Villanueva Cardozo

Citation preview

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 v v v v v v v v f f f f f f f f



q v v v v f f f f v v v v f f f f

r v v f f v v f f v v f f v v f f

s v f v f v f v f v f v f v f v f

(𝑝v𝑞) v v v v v v v v v v v v f f f f

(𝑟∧s) v f f f v f f f v f f f v f f f

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

Resultado de la tabla de verdad: CONTINGENCIA p v v v v v v v v f f f f f f f f

q v v v v f f f f v v v v f f f f

r v v f f v v f f v v f f v v f f

s v f v f v f v f v f v f v f v f

[( 𝑝 v 𝑞 )] ↔ ( 𝑟 ∧ s ) v f f f v f f f v f f f v v v 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 v v v v f f f f f f f

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

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

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

f f f f f v f v v v f f v f 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 )

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

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

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

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

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



(q ∨ s ) f f f f f f f f v v f f v v f f

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

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

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

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

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

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

Resultado de la tabla de verdad: Contingencia