Capítulo 7

Derivación en LO : reglas de inferencia

7.1. Forma e instancia: repaso

Considera las siguientes formas proposicionales:

(1) ( p ∧ q ) ≡ ¬r (2) ( p ∨ p) ⊃ q

¿Cuáles de las siguientes fbfs las instancian?

(a) A ∧ ( B ≡ ¬C ) (a′ ) ( F ∨ F ) ⊃ G

(b) (¬ Z ∧ ¬ P) ≡ ¬¬ F (b′ ) ( F ∨ F ) ⊃ F

(c) ( M ∧ S) ≡ ¬ P (c′ ) ( F ∨ G ) ⊃ H

(d) (( E ⊃ R) ∧ S) ≡ ¬(¬ H ∨ J ) (d′ ) ( F ∨ F ) ⊃ ( F ∨ F )

(e) ¬ P ≡ ( R ∧ Q) (e′ ) ( F ∨ G ) ⊃ ( F ∨ G )

(f ) ((( M ∧ R) ≡ ¬ L) ∧ ¬ H ) ≡ ¬ L (f′ ) (( F ⊃ G ) ∨ ( F ⊃ ¬¬ G )) ⊃ F

(g) (( G ⊃ J ) ∧ ( G ⊃ J )) ≡ ¬( G ⊃ J ) (g′ ) ¬¬( F ∨ F ) ⊃ ¬¬ F

7.2. Pruebas formales de validez

7.2.1. ¿Qué es una prueba?
Informalmente, una prueba es una cadena finita de razonamiento en el que cada nuevo paso se sigue
de los anteriores.

(3) Daniel está débil y tiene dolor de estómago. Si está débil y tiene dolor de estómago y
además tiene sarpullido o fiebre, entonces está intoxicado o tiene una fuerte gripe. Daniel
está intoxicado solo si comió anoche en el restaurante R. Sin embargo, él no comió anoche
en el restaurante R, sino en su propia casa. Tampoco tiene sarpullido, pero sí tiene fiebre.
Por lo tanto, Daniel debe tener una fuerte gripe.

Simbolización:

67
CAPÍTULO 7. Derivación en LO : reglas de inferencia Eduardo Villanueva

1. D ∧ E
2. (( D ∧ E) ∧ (S ∨ F )) ⊃ ( I ∨ G )
3. I ⊃ R
4. ¬ R ∧ C
5. ¬S ∧ F /∴ G

Prueba:
6. F Daniel tiene fiebre. (de 5)
7. S∨F Daniel tiene sarpullido o fiebre (de 6)
8. ( D ∧ E) ∧ (S ∨ F ) Daniel está débil y tiene dolor de estómago y además tiene
sarpullido o fiebre (de 1 y 7)
9. I∨G Daniel está intoxicado o tiene una fuerte gripe (de 2 y 8)
10. ¬R Daniel no comió anoche en el restaurante R (de 4)
11. ¬I Daniel no está intoxicado (de 3 y 10)
12. G Daniel tiene una fuerte gripe (de 9 y 11)

Una prueba es una secuencia finita de fbfs que comienza con las premisas de un
argumento válido y termina con su conclusión, en la que cada fbf que aparece
después de las premisas es una consecuencia lógica de fbfs que aparecen ante-
riormente en la secuencia.

Existen varios métodos de prueba en LO . Nosotros estudiaremos un método de prueba que se

conoce como ‘deducción natural’.

7.2.2. Procedimiento
Construiremos una cadena de razonamiento (una derivación) de la siguiente manera:

i. Comenzaremos con un conjunto de premisas y llegaremos a una conclusión.

ii. Cada paso de la derivación tendrá que estar justificado.

iii. Un paso en una derivación está justificado si y solo si se sigue de pasos previos de acuerdo con
ciertas reglas que preservan necesariamente la verdad.

Regla de inferencia
Una regla de inferencia es una forma lógica que consiste en una función que toma premisas como
input y, dependiendo de sus estructuras sintácticas, les asigna una única conclusión como output.

68
CAPÍTULO 7. Derivación en LO : reglas de inferencia Eduardo Villanueva

Preservación necesaria de la verdad

Las reglas de inferencia garantizan la necesaria preservación de la verdad, es decir, garantizan que si
sus inputs son fbfs verdaderas, sus outputs necesariamente serán fbfs verdaderas.
Notas:

1. A diferencia del método de las tablas de verdad y de los árboles semánticos, el método de
prueba que estudiaremos no es mecánico; tiene sutilezas que demandan creatividad.

2. No hay una única manera correcta de probar la validez de un argumento.

7.3. Ocho reglas de inferencia

7.3.1. Reglas para condicionales
Modus Ponens ( MP) Modus Tollens ( MT ) Silogismo Hipotético (SH )
p⊃q p⊃q p⊃q
p ¬q q⊃r
/∴ q /∴ ¬ p /∴ p ⊃ r

7.3.2. Reglas para disyunciones

Silogismo Disyuntivo (SD ) Adición ( Ad)
p∨q p∨q
p q
¬p ¬q
/∴ p∨q /∴ p∨q
/∴ q /∴ p

7.3.3. Reglas para conjunciones

Simplificación (Simp) Conjunción (Conj)
p
p∧q p∧q
q
/∴ p /∴ q
/∴ p ∧ q

7.3.4. Dilema ( Dil )

p⊃q
r⊃s
p∨r
/∴ q∨s

7.3.5. Instanciando las reglas de inferencia

¿Cuáles de los siguientes argumentos instancian MP?

a) ( T ⊃ G ) ⊃ ( H ⊃ L) b) ¬ A ⊃ ( J ⊃ C ) c) ( D ∧ T ) ⊃ ¬C
T⊃G ¬A ⊃ J T∧D
/∴H⊃L /∴C / ∴ ¬C

¿Cuáles de los siguientes argumentos instancian MT?

69
CAPÍTULO 7. Derivación en LO : reglas de inferencia Eduardo Villanueva

a) Q ⊃ ¬ M b) K ⊃ ¬(¬ M ∧ S) c) (S ∨ T ) ⊃ ¬(C ∧ D )
M ¬¬(¬ M ∧ S) ¬¬C ∧ D
/ ∴ ¬Q / ∴ ¬K / ∴ ¬(S ∨ T )

¿Cuáles de los siguientes argumentos instancian SD?

a) W ∨ ¬W b) ( R ∨ E) ∨ (O ⊃ M )
¬¬W ¬R ∧ ¬E
/∴W /∴O⊃ M

¿Cuáles de los siguientes argumentos instancian Dil?

a) ( I ∧ D ) ⊃ S b) ¬V ⊃ ¬ D
(L ⊃ J) ⊃ M ¬D ⊃ ¬B
( I ∧ D) ∨ ( L ⊃ J ) ¬(V ∧ D )
/ ∴ S∨M / ∴ ¬D ∨ ¬B

La reglas de inferencia indican qué está permitido inferir dadas las premisas. Lo que uno debería
inferir depende de la prueba particular en consideración.

El orden de las premisas de un argumento es irrelevante para determinar si la aplicación de una regla
de inferencia es apropiada o no. Lo que importa es determinar si las formas proposicionales de
las premisas corresponden a las formas proposicionales que ocurren en la regla. Por ejemplo, los
siguientes argumentos son instancias de MP:

(R ∧ J ) ⊃ S R∧J
R∧J y (R ∧ J ) ⊃ S
/∴S /∴S

7.4. Ejercicios preliminares

7.4.1. Nombra la regla
1) 2) A ⊃ ( L ∧ H ) 3) M ∨ ( D ⊃ M)
(K ≡ J ) ∧ K ¬( L ∧ H ) ¬( D ⊃ M)
/∴K≡J / ∴ ¬A /∴M
4) J ≡ S 5) ¬ J ⊃ ( E ∨ K ) 6) S ⊃ G
P ¬J G⊃L
/ ∴ ( J ≡ S) ∧ P / ∴ E∨K /∴S⊃L
7) ( A ⊃ K ) ⊃ F 8)
D⊃Z ( M ∧ R) ≡ K
( A ⊃ K) ∨ D / ∴ (( M ∧ R) ≡ K ) ∨ ¬(( M ∧ R) ≡ K )
/∴ F∨Z

70
CAPÍTULO 7. Derivación en LO : reglas de inferencia Eduardo Villanueva

7.4.2. Suple la justificación

1. ¬A ⊃ C Pr
2. (( B ∨ T ) ∧ Q) ⊃ ¬ A Pr
3. B∧Q Pr /∴ C ∨ W
4. B
5. B∨T
6. Q
7. (B ∨ T) ∧ Q
8. ¬A
9. C
10. C∨W

7.4.3. Determina la conclusión de los siguientes argumentos

1) ¬((¬O ∧ ¬ I ) ∧ C ) 2) ¬¬(( E ∨ S) ∨ B)
(( Q ⊃ V ) ⊃ ¬W ) ⊃ ((¬O ∧ ¬ I ) ∧ C ) ¬(( E ∨ S) ∨ B) ∨ ( L ∧ F )
/∴ MT /∴ SD

7.4.4. Identifica la premisa que falta

1) ( T ∧ ( D ⊃ S)) ⊃ G 2) ( H ∧ C ) ⊃ P
D ⊃ (Z ≡ N )
/ ∴ ( M ∨ F) ⊃ G SH
/ ∴ P ∨ (Z ≡ N ) Dil

7.4.5. Identifica la conclusión y la regla

1) ¬( A ∨ ¬ B) 2) ¬( A ⊃ ¬ B)
(¬ A ⊃ B) ∨ ( A ∨ ¬ B) (¬ A ⊃ (¬ B ∨ ¬ A)) ⊃ ( A ⊃ ¬ B)
/∴ /∴

7.5. Derivaciones y pruebas

7.5.1. La estructura lineal de una prueba
1. Cada línea en una prueba debe contener los siguientes componentes:

(a) numero de línea

(b) fórmula bien formada
(c) justificación

2. Los números de línea son necesarios para identificar correctamente las fbfs. Estos son usados
en la justificación. Por lo tanto, una prueba sin números de línea es incorrecta.

3. Las fbfs que ocupan cada línea numerada en una derivación son indispensables para la prueba.
Por lo tanto, si en una derivación una línea numerada no contiene una fbf, la derivación es
incorrecta.

4. La justificación de cada línea en una derivación tiene dos componentes:

71
CAPÍTULO 7. Derivación en LO : reglas de inferencia Eduardo Villanueva

(a) Pedigrí: los números de línea de los padres de esa línea.

(b) Regla: el nombre abreviado de la regla usada en la derivación de la línea.

5. La siguiente es una lista del número de padres que puede tener una línea:

(a) Premisas ( Pr ) 0 padres

(b) Simp y Ad 1 padre
(c) Dil 3 padres
(d) Todas las demás reglas 2 padres

7.5.2. Algunos ejemplos

(1) D ⊃ F, Q ∨ ¬ F, ¬ Q / ∴ ¬ D

(2) R ∧ J, J ⊃ ¬ I, I ∨ U / ∴ U ∨ K

7.5.3. Definiciones
1. Una fbf Q se sigue de P1 , . . . , Pn por medio de la regla R si y solo si Q es una instancia de
sustitución de la conclusión de R y P1 , . . . , Pn son instancias de sustitución de las premisas
de R.

2. Q está justificada si Q es una premisa, una asunción (que explicaremos más adelante) o Q se
sigue de fbfs previas por medio de una regla R.

3. Una derivación es una secuencia finita de fbfs justificadas, en donde la primera es, o bien una
premisa, o bien una asunción, y la última es la conclusión.

4. Una prueba de p es una derivación cuya última linea es p.

7.6. Estrategias de prueba

7.6.1. Cómo usar lo que tienes para derivar lo que necesitas
1. De modo descendente: Identifica lo que puedes derivar inmediatamente de las premisas por
medio de las reglas.

2. De modo ascendente: Al mismo tiempo que aplicas [1], pregúntate lo siguiente:

(a) ¿Cuál es mi objetivo?

(b) ¿Qué regla puedo utilizar para derivar mi objetivo?

72
CAPÍTULO 7. Derivación en LO : reglas de inferencia Eduardo Villanueva

(c) ¿Qué otras premisas necesito generar para aplicar esa regla?
(d) ¿Cómo puedo obtener esas otras premisas?

7.6.2. Estrategias comunes

Lo que tienes Cómo derivas a partir de lo que tienes
Conjunción Usa Simp; intenta llegar a tu objetivo a partir de uno de los conjuntivos.
Disyunción Usa SD; intenta llegar a tu objetivo a partir del resultado obtenido.
Condicional Usa MP a fin de obtener el consecuente; o usa MT a fin de obtener la
negación del antecedente.
Lo que quieres Cómo lo puedes obtener
Conjunción Obtén cada conjuntivo individualmente y luego usa la conjunción para
llegar a tu objetivo.
Disyunción Obtén un disyunto y usa Ad para llegar a tu objetivo.

(3) A ⊃ B, A ∨ (C ∧ D ), ¬ B ∧ ¬ E / ∴ C

(4) ( A ∨ B) ⊃ ( B ⊃ D ), C ∧ F, C ⊃ E, E ⊃ B / ∴ ( B ∧ D ) ∨ G

(5) ( P ∨ Q) ∧ ( R ∧ S), ( Q ⊃ Z ) ∧ (S ⊃ T ), ¬ Z ∧ ¬ T, T ∨ ( D ⊃ Z ), ( P ∧ R) ⊃ (C ⊃ D ) / ∴ ¬C

73
CAPÍTULO 7. Derivación en LO : reglas de inferencia Eduardo Villanueva

7.7. Ejercicios
Usando las 8 reglas de inferencia, construye pruebas para los siguientes argumentos:

1. A ∨ D, ¬ D ∧ E, A ⊃ ( B ∨ ¬C ), ¬ B / ∴ ¬C ∧ E

2. B ∧ C, C ⊃ ( D ⊃ A), E ∧ ¬ A / ∴ B ∧ ¬ D

3. A ⊃ E, ¬ E ∧ ¬ A, D ⊃ A, ¬ B / ∴ (¬ D ∨ C ) ∧ ( B ∨ ¬ A)

4. E ⊃ B, ¬ D ∧ ( B ⊃ A), ¬ A ∨ D / ∴ (¬ E ∨ ( A ∨ C )) ∧ (¬ D ∨ B)

5. ¬ A ∧ ( D ⊃ A), D ∨ E, E ⊃ C, ¬C ∨ A / ∴ B ∨ ¬ D

6. ¬ D, ( B ∧ C ) ⊃ ( D ⊃ A), E ⊃ B, (C ∨ A) ∧ E, A ⊃ D / ∴ D ⊃ A

7. ( A ≡ B) ⊃ C, D ∧ ( A ≡ B), (C ∨ E) ⊃ ¬ B, G ⊃ B / ∴ ¬ G ∧ D

8. A ⊃ ( B ⊃ E), C ⊃ (¬ A ⊃ D ), E ∨ ( A ∨ B), K ∧ ¬ E, ¬ B / ∴ ( B ⊃ E) ∨ (¬ A ⊃ D )

74
Capítulo 8

Derivación en LO : reglas de equivalencia

8.1. Diez reglas de equivalencia

8.1.1. Estructura
1. Cada regla de equivalencia consiste en dos formas oracionales unidas por el símbolo ‘::’.

(1) ¬( p ∨ q) :: ¬ p ∧ ¬q

2. El símbolo ‘::’ no es parte de LO —nuestro lenguaje objeto—sino que es un símbolo del

metalenguaje que nos permite decir que las instancias de las formas oracionales que ocurren
a ambos lados son lógicamente equivalentes y, por ende, intersustituibles salva veritate.

p q ¬ ( p ∨ q) ¬ p ∧ ¬q
V V F F
(2) V F F F
F V F F
F F V V

3. Las 10 reglas de equivalencia nos permiten reemplazar una instancia de una forma oracional
por otra instancia de una forma oracional equivalente.

4. A diferencia de las 8 reglas de inferencia que solo se pueden aplicar a fórmulas completas que
ocurren en líneas enteras de una derivación, las 10 reglas de equivalencia pueden también ser
aplicadas a subfórmulas que ocurren en parte de una línea de una derivación.

(3) :
:
5. ¬( A ∨ B) ⊃ (C ≡ ¬ D )
:
:
9. (¬ A ∧ ¬ B) ⊃ (C ≡ ¬ D ) DeM, 5
:
:

75
CAPÍTULO 8. Derivación en LO : reglas de equivalencia Eduardo Villanueva

8.2. Reglas de equivalencia y sus usos

Doble Negación ( DN ) Idempotencia ( Id)
p :: ¬¬ p p :: p ∨ p
p :: p ∧ p

Asociación ( Asoc) Conmutación (Com)

p ∨ (q ∨ r ) :: ( p ∨ q) ∨ r p ∨ q :: q ∨ p
p ∧ (q ∧ r ) :: ( p ∧ q) ∧ r p ∧ q :: q ∧ p

Contraposición (Contra) DeMorgan ( DeM)

p ⊃ q :: ¬q ⊃ ¬ p ¬( p ∨ q) :: ¬ p ∧ ¬q
¬( p ∧ q) :: ¬ p ∨ ¬q

Definición del Bicondicional ( DB) Definición del Condicional ( DC )

p ≡ q :: ( p ⊃ q) ∧ (q ⊃ p) p ⊃ q :: ¬ p ∨ q

Distribución ( Dist) Exportación ( Exp)

p ∧ (q ∨ r ) :: ( p ∧ q) ∨ ( p ∧ r ) p ⊃ (q ⊃ r ) :: ( p ∧ q) ⊃ r
p ∨ (q ∧ r ) :: ( p ∨ q) ∧ ( p ∨ r )

Notas:

1. Las 8 reglas de inferencia que aprendimos en la unidad anterior solamente permitían ir de pre-
misas a conclusión. Las 10 reglas de equivalencia permiten ir en ambos sentidos (de izquierda
a derecha y de derecha a izquierda).

2. Dado que las formas oracionales a ambos lados de ‘::’ tienen los mismos valores de verdad en
cada una de sus instancias, reemplazar la una por la otra no cambia el valor de verdad de la
fbf original.

(4) Exportación: p ⊃ (q ⊃ r ) :: ( p ∧ q) ⊃ r

1) J∧A Pr 1) J Pr
2) J ⊃ ( A ⊃ P) Pr 2) ( J ∧ A) ⊃ P Pr
3) ( J ∧ A) ⊃ P Exp 2 ⋆ 3) J ⊃ ( A ⊃ P) Exp 2 ⋆
4) P MP 1, 3 4) A⊃P MP 1, 3

3. Sabemos que las 10 reglas de equivalencia pueden ser aplicadas a subfórmulas que ocurren
en parte de una línea de una derivación. Esto es posible porque (i) las reglas expresan equiva-
lencias lógicas y (ii) sabemos que:

76
CAPÍTULO 8. Derivación en LO : reglas de equivalencia Eduardo Villanueva

(a) El valor de verdad de una fórmula es una función del valor de verdad de sus partes.
(b) Sustituir una de esas partes por una fórmula equivalente deja el valor de verdad de toda
la fórmula inalterado.
(c) Las reglas de equivalencia preservan el valor de verdad de la fórmula original.

4. Para justificar la aplicación de una regla de equivalencia, escribe el nombre de la regla y el

número de la línea a la que la regla ha sido aplicada.

8.2.1. Mini pruebas

(1) q /∴ p ⊃ q (2) ¬ p /∴ p ⊃ q

Ejemplos (1) y (2) corresponden a atajos semánticos: un condicional es verdadero si y solo si:

(i) el consecuente es verdadero.

(ii) el antecedente es falso.

(3) ¬ p /∴ ¬( p ∧ q) (4) ¬q /∴ ¬( p ∧ q)

Ejemplos (3) y (4) semánticamente: Una conjunción es falsa si uno de sus conjuntivos es falso.

Estrategia para pruebas: Para derivar una conjunción negada, intenta obtener la nega-
ción de uno de los conjuntivos. Luego, usa las mini-pruebas de arriba.

(5) ¬( p ∨ q) /∴ ¬ p (6) ¬( p ∨ q) /∴ ¬q

Ejemplos (5) y (6) semánticamente: Si una disyunción es falsa, entonces ambos disyuntos son falsos.

Estrategia para pruebas: Para descomponer una disyunción negada, usa DeM y luego
Simp.

77
CAPÍTULO 8. Derivación en LO : reglas de equivalencia Eduardo Villanueva

(7) p, q /∴ p ≡ q (8) ¬ p, ¬q /∴ p ≡ q

Ejemplos (7) y (8) semánticamente: p ≡ q es verdadero cuando sus componentes tienen el mismo
valor de verdad.

Estrategia para pruebas: Para derivar un bicondicional puedes hacer 2 cosas: (i) obtén
p y q, y luego usa (7), o (ii) obtén ¬ p y ¬q, y luego usa (8).

(9) ¬( p ⊃ q) /∴ p (10) ¬( p ⊃ q) /∴ ¬q

Ejemplos (9) y (10) semánticamente: Si un condicional es falso, su antecedente es verdadero (9) y

su consecuente es falso (10).

Estrategia para pruebas: Para descomponer un condicional negado, sigue (9) o (10).

(11) p, ¬q /∴ ¬( p ⊃ q)

Ejemplo (11) semánticamente: Si p es verdadero y q es falso, entonces p ⊃ q es falso.

Estrategia para pruebas: Para derivar un condicional negado intenta obtener p y ¬q, y
luego sigue (11).

78
CAPÍTULO 8. Derivación en LO : reglas de equivalencia Eduardo Villanueva

(12) p, ¬q /∴ ¬( p ≡ q) (13) ¬ p, q /∴ ¬( p ≡ q)

Ejemplos (12) y (13) semánticamente: Un bicondicional es falso si sus componentes tienen distintos
valores de verdad.

Estrategia para pruebas: Para obtener ¬( p ≡ q) intenta obtener p y ¬q, y usa (12) o
intenta obtener ¬ p y q, y usa (13).

8.2.2. Estrategias generales para pruebas usando las 18 reglas

1. Trabaja simultáneamente de arriba a abajo y de abajo a arriba.

2. Intenta aplicar DeM cuando te encuentres con fórmulas de la siguiente forma:

(a) ¬( p ∨ q) o ¬ p ∧ ¬q
(b) ¬( p ∧ q) o ¬ p ∨ ¬q

3. Usa Ad constructivamente (recuerda las mini-pruebas 1-4).

4.
Forma Descomponer con: Componer con:
p∧q Simp Conj
p∨q SD Ad/Dil/DC
p⊃q MP/MT DC
p≡q DB DB

5. Usa las reglas libremente para mover operadores y subfórmulas a fin de obtener tu meta.

79
CAPÍTULO 8. Derivación en LO : reglas de equivalencia Eduardo Villanueva

8.2.3. Estrategias descendentes para las 18 reglas

Forma de Partida Reglas
p∧q Aplica Simp
¬( p ∧ q) Aplica DeM, luego SD
p∨q Aplica SD, Dil o DeM
¬( p ∨ q) Aplica DeM, luego Simp
p⊃q Aplica MP, MT, SH o DC
¬( p ⊃ q) DC nos da ¬(¬ p ∨ q), luego DeM nos da ¬¬ p ∧ ¬q, luego
DN nos da p ∧ ¬q. Finalmente, aplica Simp.
p≡q Aplica DB, luego Simp.
¬( p ≡ q) Aplica DB, luego DeM nos da ¬( p ⊃ q) ∨ ¬(q ⊃ p)

8.2.4. Estrategias ascendentes para las 18 reglas

Forma de Llegada Reglas
p∧q Obtén p y q en distintas líneas y aplica Conj
¬( p ∧ q) Aplica DeM
p∨q Aplica Ad o Dil
¬( p ∨ q) Obtén ¬ p y ¬q en distintas líneas y aplica Conj y DeM
p⊃q (i) Obtén ¬ p, Ad q y luego aplica DC o (ii) Obtén q, Ad ¬ p
y luego aplica DC
¬( p ⊃ q) Obtén p y ¬q. Aplica Conj para obtener p ∧ ¬q. Aplica DN
y obtén ¬¬ p ∧ ¬q. Aplica DeM y obtén ¬(¬ p ∨ q). Final-
mente, aplica DC.
p≡q Obtén p ⊃ q y q ⊃ p, aplica Conj y luego DB.
¬( p ≡ q) Aplica el proceso inverso a la estrategia ascendente.

8.3. Ejercicios
Usando las 18 reglas de inferencia y equivalencia, construye pruebas para los siguientes argumentos:

1. ( A ⊃ B) ∧ ( A ⊃ C ) /∴ A ⊃ ( B ∧ C )

2. ( A ⊃ B) ∧ (C ⊃ B) /∴ ( A ∨ C ) ⊃ B

3. ( G ∧ H ) ∨ ( I ∧ ¬ J ), G ⊃ ¬ H, I ⊃ ( J ∨ A)/∴ A

4. B ∨ (C ⊃ E), E ⊃ ¬( J ∨ H ), ¬S, J ∨ S /∴ ¬ B ⊃ ¬C

5. ( Q ∨ P) ⊃ ¬ R, ¬ P ⊃ ¬ T, T ∨ S, ¬(¬ T ∧ S) /∴ ¬ R ∨ S

6. ¬ Q ⊃ P, ¬ R ⊃ T, ¬( P ∨ T ) /∴ ( P ∨ Q) ≡ (¬ P ∨ R)

7. ( P ∨ R) ⊃ ( Q ∨ ¬ P), ¬ Q /∴ S ⊃ ¬( P ∧ R)

8. P ⊃ ¬ Q, (S ∧ R) ⊃ ¬ P, ¬(( P ∧ R) ⊃ ¬ R) /∴ Q ≡ S

80