Anotar la conclusión de las premisas con reglas de Inferencia:

1) ~ G <--> ~ Y
|-
________ Adición

2) ~(S A U) --> (K v L)
~ (K v L)
|-
_________ Modus Tollens

3) (V v ~Z) --> ~ (~G <--> N)
(V v ~Z)
|-
_________ Modus Ponens

4) (C v E)
~ (D v E)
|-
________ Conjunción

5) (I v S) ^ (O --> N)
|-
________ Simplificación

6) ~ (A --> F) --> (I --> B)
(I --> B) --> ~ (I --> S)
l-
_______ Silogismo Hipotético

Es para hoy porfaaaaa!!​