Tautologia kwantyfikatory Magdaa: Wytłumaczy mi ktoś pokrótce jak udowadniać tautologie z kwantyfikatorami? Na tym przykładzie [(∃x∊X δ(x)) ∨ (∃x∊X Φ(x))] ⇒ [∃x∊X (δ(x) ∧ Φ(x))] Dla mnie to czarna magia, nawet nie wiem jak to zacząć, dlatego proszę chociaż o jakąś wskazówkę