Regla de la exportación

Género: material didáctico.
Autor: Ricardo Mazón Fonseca.

En una proposición condicional donde el antecedente es una conjunción y el consecuente una proposición atómica, tenemos que todo esto equivale a una proposición molecular donde el antecedente es uno de los dos miembros de la mencionada conjunción  y  el consecuente, es una proposición condicional con el otro miembro de la conjunción como antecedente y el consecuente constituido por la proposición atómica antes citada:

(A & B) à C   equivale a  A à (B à C)

“Si estudio y entiendo, paso el examen” equivale a “Si estudio, (si entiendo, paso el examen). 

También podríamos ponerlo de la siguiente manera:

(A & B) à C equivale a B à (A à C)

“Si estudio y entiendo, paso el examen” equivale a “Si entiendo, (si estudio, paso el examen)”.

Exp es la abreviatura de esta regla.

Ejercicio 

Obtener el resultado de las siguientes proposiciones a partir de la ley de la exportación.

1. A & B à C

2. A & ¬D à A v B

3. A & C à ¬E

4. ¬E & ¬F à ¬R

5. Demostrar E

1) B & Z

2) (B & K) à E

3) K

6. Demostrar  G à E

1) F & G à D

2) (F à D) à E