Udowodnienie równoważności Wroteq: Witam! Mam podaną taką równoważność i jest podane, że jest tautologią. Tylko zupełnie nie rozumiem jak to działa. Mógłby ktoś zapisać lewa i prawa strone jako zdania słowami (np. ∀x P(x) − dla każdego x P(x)) Równoważność: ∃x(P(x)−>Q) <−> (∀x(P(x))−>Q)