matematykaszkolna.pl
kwantyfikatory k23: Udowodnij, że formuła jest tautologią ∀x(P(x)→Q(x))→∃x(∀xP(x)→Q(x))
7 maj 23:37