Tautologia - tabele semantyczne Lech: Witam, potrzebuje wyjaśnienia jak buduje się drzewa semantyczne, aby wykazać, że dana formuła jest tautologią. Bardzo prosiłbym o wyjaśnienie na konrketnym przykładzie np. (∃xA(x)∨∃x(B(x))↔∃x(A(x)∨B(x))