Pozdrav,
Imam jedan problem. Naime poznato je da implikacija
[dispmath](\exists x)(P(x))\land(\exists x)(Q(x))\;\Longrightarrow\;(\exists x)(P(x)\land Q(x))[/dispmath] u opštem slučaju ne važi, ali se to dokazuje pretežno davanjem kontraprimera. Zanima me da li postoji 'formalan' generalizovan dokaz koji pokazuje da ova implikacija nije tačna. Više puta sam dosta dugo razmišljao o ovom problemu (ili problemima koji u osnovi sadrže ovu implikaciju) ali nisam uspeo da dodjem do nekog napretka. Zaista nemam ni ideju koji bi prvi korak bio. Hvala unapred na odgovorima.