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