Logika Bambo: bambo: Sprawdź metodą tabel semantycznych, czy tautologią rachunku predykatów jest formuła: (∀x A(x)→∃x B(x))→∃x(A(x) →B(x))