Ejercicio 2: Proposiciones y Tablas de verdad

B. Si el América clasifica a la Copa Libertadores, entonces jugará más partidos o podrá mostrar
más sus jugadores.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

• Definir las proposiciones simples del argumento.

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

• Generar una tabla de verdad con el simulador a partir del lenguaje simbólico De la UNAD

• 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.

DESARROLLO

 El argumento es contradicción porque tiene valores de verdad falsos y verdaderos.

 Definición de preposiciones simples:

p: el América clasifica a la Copa Libertadores

q : jugará más partidos
r :  podrá mostrar más sus jugadores.
 Lenguaje natural de la exposición formal

p →q ∨ r : Si el América clasifica a la Copa Libertadores, entonces jugará más partidos o

podrá mostrar más sus jugadores

 Tabla de verdad Manual.

p q r ( p → q) ((( p → q)) vr )

F F F V V
F F V V V
F V F V V
F V V V V
V F F F F
V F V F V
V V F V V
V V V V V
Ejercicio 3: Problemas de aplicación
B. ( p ∧q) ∧(¬ p ∧¬ q)

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá:

• Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en
un contexto, el que se solicita es un contexto académico,

ejemplo: p: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública

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

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerará como copia y se tomarán las medidas
correctivas estipuladas por la UNAD.

• 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)

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto
del desarrollo manual).

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