13. Dado el siguiente esquema: {~[(p ≤ q) ^ p] →~(q^r)} vq según la tabla de verdad, podemos decir que dicha proposición es una:
A) Tautología C) Contingencia E) Equivalencia B) Contradicción D) Ley Lógica​