vaunettechoisen vaunettechoisen 19-12-2022 History contestada Is this formula a tautology, a contradiction, or a contingent formula? (P → Q) ↔ (~Q → ~P)