MÉTODO DE DERIVACIONES

Este método procede sólo por transformaciones de las expresiones aplicando a las
premisas una serie de leyes lógicas previamente adoptadas

A.) LEYES LOGICAS

Las leyes lógica son inferencias o razonamientos que permiten, a partir de premisas
verdaderas, obtener conclusiones que son verdaderas.
Estos razonamientos son TAUTOLOGÍAS y su número es infinito.

A1.) IMPLICACIONES NOTABLES

Son leyes lógicas que indican la forma de pasar lógicamente de las premisas a la conclusión.
Las más importantes son:

Dr. César Garrido Jaeger 1

1.) MODUS PONENDO PONENS (P.P.)
Es el método (modus) que afirma (ponens) el consecuente, afirmando (ponendo) el
antecedente.
𝒑 ⟶ 𝒒
[(𝒑 ⟶ 𝒒) ∧ 𝒑] ⟶ 𝒒
𝒑
∴ 𝒒

2.) MODUS TOLLENDO TOLLENS (T.T.)

Es el método (modus) por el que negando (tollendo) el consecuente de una condicional,
se puede negar (tollens) el antecedente.

𝒑 ⟶ 𝒒
~𝒒 𝒑 ⟶ 𝒒 ∧ ~𝒒 ⟶ ~𝒑
∴ ~𝒑

Dr. César Garrido Jaeger 2

3.) SILOGISMO HIPOTETICO (S.H.) Llamado también ley de la transitividad.

𝒑 ⟶ 𝒒
𝒒 ⟶ 𝒓 𝒑 ⟶ 𝒒 ∧ (𝒒 ⟶ 𝒓) ⟶ (𝒑 ⟶ 𝒓)
∴ 𝒑 ⟶ 𝒓

4.) SILOGISMO DISYUNTIVO(S.D.) Llamado también MODUS TOLLENDO PONENS.

𝒑 ∨ 𝒒 𝒑 ∨ 𝒒 𝒑 ∨ 𝒒 ∧ ~𝒑) ⟶ 𝒒
~𝒑 ~𝒒
∴ 𝒒 ∴ 𝒑 𝒑 ∨ 𝒒 ∧ ~𝒒) ⟶ 𝒑

Dr. César Garrido Jaeger 3

5.) SIMPLIFICACIÓN (Simp.) De una premisa conjuntiva se puede concluir en
cualquiera de sus dos miembros.
(𝒑 ∧ 𝒒) ⟶ 𝒑
𝒑 ∧ 𝒒 𝒑 ∧ 𝒒
∴ 𝒑 ∴ 𝒒 (𝒑 ∧ 𝒒) ⟶ 𝒒

6.) CONJUNCIÓN (Conj.) De dos premisas dadas se puede concluir en la conjunción de las
mismas.
𝒑
𝒒 (𝒑 ∧ 𝒒) ⟶ (𝒑 ∧ 𝒒)
∴ 𝒑∧𝒒

7.) ADICIÓN. (Adic.). Expresa el hecho de que si se tiene una premisa que es verdadera,
entonces la disyunción de ésta con cualquier otra ha de ser también verdadera.
𝒑
∴ 𝒑∨𝒘 𝒑 ⟶ (𝒑 ∨ 𝒘)
Dr. César Garrido Jaeger 4
8.) DILEMA CONSTRUCTIVO (D.C.)
𝒑 ⟶ 𝒒
𝒓 ⟶ 𝒔 𝒑 ⟶ 𝒒 ∧ (𝒓 ⟶ 𝒔) ∧ (𝒑 ∨ 𝒓) ⟶ (𝒒 ∨ 𝒔)
𝒑 ∨ 𝒓
∴ 𝒒 ∨ 𝒔

9.) DILEMA DESTRUCTIVO (D.D.)

𝒑 ⟶ 𝒒
𝒓 ⟶ 𝒔 𝒑 ⟶ 𝒒 ∧ (𝒓 ⟶ 𝒔) ∧ (~𝒒 ∨ ~𝒔) ⟶ (~𝒑 ∨ ~𝒓)
~𝒒 ∨ ~𝒔
∴ ~𝒑 ∨ ~𝒓
10.) ABSORCIÓN (Abs.)
𝒑 ⟶ 𝒒 𝒑 ⟶ 𝒒 ⟶ [𝒑 ⟶ (𝒑 ∧ 𝒒)
∴ 𝒑 ⟶ (𝒑 ∧ 𝒒)

Dr. César Garrido Jaeger 5

A2.) EQUIVALENCIAS NOTABLES

1. CONMUTATIVIDAD (Conm.)
𝒑 ∧ 𝒒 𝒑 ∨ 𝒒
∴ 𝒒 ∧ 𝒑 ∴ 𝒒 ∨ 𝒑
2. ASOCIATIVIDAD (Asoc.)
(𝒑 ∧ 𝒒) ∧ 𝒓 (𝒑 ∨ 𝒒) ∨ 𝒓
∴ 𝒑 ∧ (𝒒 ∧ 𝒓) ∴ 𝒑 ∨ (𝒒 ∨ 𝒓)
3. DISTRIBUTIVIDAD (Dist.)
𝒑 ∧ (𝒒 ∨ 𝒓) 𝒑 ∨ (𝒒 ∧ 𝒓)
∴ (𝒑 ∧ 𝒒) ∨ (𝒑 ∧ 𝒓) ∴ (𝒑 ∨ 𝒒) ∧ (𝒑 ∨ 𝒓)

Dr. César Garrido Jaeger 6

4. DOBLE NEGACIÓN O INVOLUCIÓN (DN)
~ ~𝒑 𝒑
∴ 𝒑 ∴ ~ ~𝒑
5. LEYES DE MORGAN (De M.)
~(𝒑 ∧ 𝒒) ~(𝒑 ∨ 𝒒)
∴ ~𝒑 ∨ ~𝒒 ∴ ~𝒑 ∧ ~𝒒

6. IDEMPOTENCIA (Idemp.)
𝒑 ∧ 𝒑 𝒑 ∨ 𝒑
∴ 𝒑 ∴ 𝒑

7. TRANSPOSICION (Trans.)
𝒑 ⟶ 𝒒
𝒑 ⟶ 𝒒 ≡ ~𝒒 ⟶ ~𝒑
∴ ~𝒒 ⟶ ~𝒑
Dr. César Garrido Jaeger 7
8. IMPLICACION MATERIAL (Imp.)

𝒑 ⟶ 𝒒 ≡ ~𝒑 ∨ 𝒒 𝒑 ⟶ 𝒒 ≡ ~(𝒑 ∧ ~𝒒)

9. EQUIVALENCIA MATERIAL (Equiv.)

𝒑 ⟷ 𝒒 ≡ (𝒑 ⟶ 𝒒) ∧ (𝒒 ⟶ 𝒑) 𝒑 ⟷ 𝒒 ≡ (𝒑 ∧ 𝒒) ∨ (~𝒑 ∧ ~𝒒)

10. EXPORTACION (Exp.)

(𝒑 ∧ 𝒒) ⟶ 𝒓 ≡ 𝒑 ⟶ (𝒒 ⟶ 𝒓)

Dr. César Garrido Jaeger 8

B.) DEMOSTRACIÓN UTILIZANDO LEYES LÓGICAS

1. ~𝒒 1. (𝒒 ⟶ 𝒓) ∧ 𝒑
2. 𝒑 ⟶ 𝒒 2. 𝒓 ⟶ 𝒕
3. ~𝒑 ⟶ 𝒔 /∴ 𝒔 3. 𝒒 ⟶ 𝒓 ⟶ ~𝒕 /∴ ~𝒓

1. 𝒓 ∨ 𝒔 1. ~𝒓
2. 𝒔 ⟶ 𝒑 2. ~𝒑 ⟶ 𝒒
3. ~𝒓 /∴ 𝒑 3. 𝒒 ⟶ 𝒓 /∴ 𝒑

1. 𝒑 ⟶ 𝒔 1. 𝒑 ⟶ 𝒒
2. 𝒑 ⟶ 𝒕 2. 𝒒
3. 𝒑 /∴ 𝒔 ∧ 𝒕 3. ~𝒑 ⟶ 𝒓∧𝒔 /∴ 𝒓 ∧ 𝒔

Dr. César Garrido Jaeger 9

Ejercicios Demostrar:

1. 𝒒 ⟶ 𝒓
2. ~𝒒 ⟶ ~𝒕 1. 𝒒 ⟶ 𝒒∨𝒓
3. ~𝒓 /~𝐭 ∨ 𝒔 3. 𝒑 ∧ ~𝒒 /∴ 𝒓

1. ~𝒓
1. 𝒓 ∧ 𝒘 2. ~𝒑 ⟶ 𝒒
2. ~𝒓 ⟶ 𝒔 /∴ 𝒔 ∧ 𝒓 3. 𝒒 ⟶ 𝒓 /∴ 𝒑

1. 𝒑 ∨ ~𝒓
2. ~𝒓 ⟶ 𝒔 1. 𝒑 ⟶ 𝒒
2. 𝒑 ⟶ 𝒒 2. 𝒒 ⟶ ~𝒓
3. ~𝒔 /∴ 𝒒 3. 𝒓 /∴ ~𝒑

Dr. César Garrido Jaeger 10

1. 𝒑 ⟶ ~𝒒
2. 𝒓 ⟶ 𝒒
3. ~𝒓 ⟶ 𝒔
4. (~𝒑 ⟶ ~𝒕) ∧ (~𝒕 ⟶ ~𝒓)
5. 𝒑 ∨ 𝒓 /∴ 𝒔

Dr. César Garrido Jaeger 11