2.

Soy un gran aficionado al ftbol y mi equipo ha pasado a disputar la final del torneo y
algo que he aprendido es que en 90 minutos del juego se viven y se sienten muchas
emociones, hay minutos de intensa alegra otros minutos de ansiedad, otros de tristeza,
en fin el ftbol es una pasin que genera toda una gama de sensaciones. Hoy es el da
del partido de la final y voy a narrar lo que viv en el transcurrir de los 90 minutos: Si mi
equipo gana yo me pongo contento. Si mi equipo pierde me pongo triste. En este
momento mi equipo est ganando o est perdiendo. Por consiguiente, estoy contento o
triste. Comprobar la validez del razonamiento que he hecho frente a las emociones que
viv en el partido de la final, hacerlo a travs de las dos maneras con la tabla de verdad y
con el uso de las leyes de inferencia.

Solucin:

Declaracin de las proposiciones simples,

p: mi equipo gana.
q: me pongo contento.
r: mi equipo pierde.
s: me pongo triste.

Declaracin de las premisas,

PREMISA 1: Si mi equipo gana yo me pongo contento.

PREMISA 2: Si mi equipo pierde me pongo triste.

PREMISA 3: mi equipo est ganando o est perdiendo.

CONCLUSIN: estoy contento o triste.

Declaracin de las premisas en lenguaje formal,

PREMISA 1:

PREMISA 2:

PREMISA 3:

CONCLUSIN:

Expresin formal del razonamiento:

[( ) ( ) ( )] ( )

Demostracin por tabla de verdad:

Debe verificarse que al generar un condicional con las premisas enlazadas en una
conjuncin como antecedente, y la conclusin el consecuente; se obtiene una tautologa.
De modo que,
La tabla anterior permite evidenciar que es una tautologa, por lo cual el razonamiento es
vlido.

Otra manera de utilizar las tablas de verdad es evaluando la existencia del caso en que
las premisas sean verdaderas y la conclusin sea falsa. Se tiene entonces la siguiente
tabla:

La anterior tabla muestra que no existe el caso en que las premisas sean verdaderas y la
conclusin sea falsa, por lo tanto el razonamiento es vlido.
Demostracin por leyes de inferencia:

PREMISA 1:

PREMISA 2:

PREMISA 3:

_________________

CONCLUSIN: SILOGISMO DISYUNTIVO (3), (1), (2)

DILEMA CONSTRUCTIVO (3), (1), (2)