Una implicación lógica es un enunciado compuesto por dos proposiciones lógicas

enlazadas
por las palabras "Si... entonces..." u otras que tengan el mismo sentido. La
proposición que
precede al "entonces" se llama el antecedente y la que le sigue se llama el
consecuente y no
se pueden intercambiar sin que se altere el sentido.
Algunas proposiciones, aunque no estén separadas constituyen una implicación. Por
ejemplo
la proposición "Los gatos son felinos" es equivalente a la implicación: "Si es gato,
entonces es
felino"
p  q, aunque siempre tiene el sentido condicional del "Si se cumple lo que dice p
entonces
se cumplirá necesariamente lo que dice q", se lee simplemente "p entonces q".

En general, se considera válido un razonamiento cuando sus premisas ofrecen

soporte suficiente a su conclusión. Puede discutirse el significado de "soporte
suficiente", aunque cuando se trata de un razonamiento no deductivo, el
razonamiento es válido si la verdad de las premisas hace probable la verdad de la
conclusión. En el caso del razonamiento deductivo, el razonamiento es válido
cuando la verdad de las premisas implica necesariamente la verdad de la
conclusión.

Reglas de Inferencia Deductiva

MPP Modus ponendo ponens

A→B
A
-----
B

MTTModus tollendo tollens

A→B
¬B
-----
¬A

SD Silogismo Disyuntivo
A∨B
¬A
-----
¬B

SH Silogismo hipotético
A→B
 B→C
-----
A→C

LS Ley de simplificación
A∧B
-----
A

LA Ley de adición
A
-----
A∨B

CONTRAPOSITIVA
A→B
-----
¬B → ¬A

36.- p ∧ [(q ∧ ∼p) ⇒ (p v ∼q)]