Recíproca, inversa y contrapositiva

Proposición directa:

P -> Q = si p, entonces q

Recíproca:

Q -> P = Si q, entonces p

Inversa:

~ P -> ~ q = Si no p, entonces no q

Contrapositiva:

~ Q -> ~ P = Si no q, entonces no p