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