PRIMER PUNTO

Para explicar los conceptos de las reglas de inferencia de Silogismo Disyuntivo, Modus
Tollendo Tollens y Adición, el estudiante autor de este trabajo desarrollo el siguiente
ejercicio.
Si tu no sales de fiesta entonces no tienes guayabo y si tienes guayabo no estabas en tu
casa estudiando. Sales de fiesta o estabas en otra parte. Si sales de fiesta entonces
puedes tener guayabo y si estabas en cualquier otra parte entonces no deberás tomar sal
de frutas por una enfermedad. Por lo tanto, puedes tener guayabo o tomas sal de frutas.
Solución
1. Primero que todo se plantean las preposiciones
Preposiciones:

A : No sales de fiesta
B: No tienes guayabo
C : No estabas estudiando
D : No tomas sal de frutas

2. Se plantean las premisas compuestas por las preposiciones

{[ ( A → B ) ∧ (−B →C ) ] → [ (− A ∨−C ) ∧ (−A →−B ) ∧ (−C → D ) ]} →(−B ∨ D)

3. Se identifica las premisas y la conclusión y se procede a demostrarla atreves de
las reglas de inferencia lógica.

PREMISA 1: ( A → B )

PREMISA 2: (−B →C )

PREMISA 3: (− A ∨−C ) Conclusión: (−B ∨ D)

PREMISA 4: (− A →−B )

PREMISA 5: (−C → D )

P6: −A MTT 1

La regla de inferencia Modus tollendo tollens consiste en encontrarnos una implicación y

además tener totalmente definida la negación de la consecuencia de la misma, lo cual nos
genera inmediatamente según esta regla de inferencia la negación del antecedente de
manera totalmente definida

P7 − A ∨−C LA 6

La regla de inferencia Ley de adición consiste en que si se tiene una preposición sola se
le puede anexar otra preposición de acuerdo a lo que se necesite con la condición de
quede siendo una disyunción el evaluador lógico entre las mismas.

P8 (−B ∨ D) SD 4,5,7

La regla de inferencia silogismo disyuntivo consiste en involucrar una disyunción entre dos
preposiciones e involucrar dos implicaciones, las cuales deben tener como antecedente
una de las dos preposiciones que formaban la disyunción, de tal manera la esta regla
inferencial nos arrojara una nueva disyunción entre dos premisas la cual es totalmente
valida.

De esta manera se pudo demostrar mediante reglas de inferencia la conclusión del

enunciado.

SEGUNDO PUNTO

Generar la tabla de verdad manualmente y a través del simulador Truth

Table.
Comprobar el resultado de la tabla de verdad manual versus simulador
Truth Table.
Aplicación de las reglas de inferencia.

Luna se encuentra estudiando el material del curso de física general,

especialmente el tema movimiento en una dimensión, entonces se
reflexiona un poco para entender el concepto de desplazamiento, por lo que
Luna hace el siguiente razonamiento: “Si camino 7 metros hacia adelante,
entonces me desplazo. Pero no es cierto que (si camino 7 metros hacia
adelante y camino 7 metros en sentido contrario, entonces me desplazo).
No camino 7 metros hacia adelante. Por lo tanto, camino 7 metros en
sentido contrario”.
 1. Se establecen las preposiciones
A : Camino 7 metros hacia adelante
B: Me desplazo
C : Camino 7 metros hacia atrás
− A : No camino 7 metros hacia adelante
2. Se establecen las premisas

{( A → B ) ∧ [( A ∧C ) → B ] ∧−A } →C
3. Se le asigna un valor de verdad a cada preposición las cuales forman las premisas
Para hacer este paso se debe establecer un criterio y ese criterio lo asigna la conclusión,
que en el caso dado de la metodología de solución es la preposición perteneciente a la
letra C la cual dice textualmente “Camino 7 metros hacia atrás”, a partir de ahí se aplicó
lógica deductiva y se concluyó que la preposición C la cual es la conclusión es verdadera,
después se evalúan las demás preposiciones con respecto a la conclusión que es
verdades. De esta manera se obtienen los valores de verdad de cada preposición.

{( F → V ) ∧ [ ( F ∧V ) →V ] ∧−F } →V
{ ( V ) ∧ [ F → V ] ∧−F } → V
{ V ∧V ∧−F } →V
{ V ∧−F } →V
{ V ∧V } →V
V →V
V

Comprobación de la conclusión usando reglas de inferencia

1. Se establecen las premisas.

PREMISA 1: ( A → B )

PREMISA 2: ( A ∧C ) Conclusión: C

PREMISA 3: B

PREMISA 4: − A
 P5: C LS 2

La ley de la simplificación me permite tomar una de las dos preposiciones que forman una
conjunción, en este caso se tomo C que es la conclusión del ejercicio planteado,
quedando así demostrado.