1

PROPOSICIONES Y TABLAS DE LA VERDAD

CRISTIAN DAVID VÉLEZ RENDÓN

ID: 1035917230

Tutor:

ALEXANDER JIMENEZ

PENSAMIENTO LOGICO MATEMATICO

200611A_726

Universidad Nacional Abierta y a Distancia – UNAD

03 de mayo de 2020
 2

Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio: A continuación, encontrará los argumentos para el desarrollo del

ejercicio 2:

Si el uso de computador es muy básico en la UNAD y Juan no tiene computador,

entonces tendrá dificultad para estudiar o irá al CEAD más cercano para usar los que la
universidad le ofrece.
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems.

• Definir las proposiciones simples del argumento.

Las proposiciones simples del argumento son:

p = si el uso de computador es muy básico en la UNAD.

q = juan no tiene computador.

r = tendrá dificultad para estudiar.

s= ira al CEAD más cercano para usar los que la universidad le ofrece

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

( p ⋀ q )→ r ∧ s

• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador

Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al

recurso)
3
 4

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

si el resultado es una tautología, contingencia o contradicción

p q r s ( p⋀q) r∧s ( p ⋀ q )→ r ∧ s

V V V V V V V

V V V F V V F

V V F V V F F

V V F F F F F

V F V V F V V

V F V F V F V

V F F V V V V

V F F F V V V

F V V V V F V

F V V F V F V

F V F V F V V

F V F V F V V

F V F F V V V

F F V V F V V

F F V F F V V

F F F V F V V

F F F F F V V

La proposición es una contingencia ya que el resultado en general verdadero y falso