Korisnički Kontrolni Panel
Pogledajte svoj profil
Pogledajte svoje postove
ČPP
Prijavite se

Matematički forum na kojem možete da diskutujete o raznim matematičkim oblastima, pomognete drugima oko rešavanja zadataka, a i da dobijete pomoć kada vam zatreba


















Index stranica OSTALE MATEMATIČKE OBLASTI MATEMATIČKA LOGIKA

Egzistencijalni kvantifikator i konjunkcija

[inlmath]\left[p\land\left(q\Rightarrow\lnot p\right)\right]\Leftrightarrow\lnot\left(p\Rightarrow q\right)[/inlmath]

Egzistencijalni kvantifikator i konjunkcija

Postod drmm » Subota, 10. Oktobar 2020, 22:28

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.
drmm  OFFLINE
 
Postovi: 20
Zahvalio se: 1 puta
Pohvaljen: 17 puta

Sharuj ovu temu na:

Share on Facebook Facebook Share on Twitter Twitter Share on MySpace MySpace Share on Google+ Google+

Povratak na MATEMATIČKA LOGIKA

Ko je OnLine

Korisnici koji su trenutno na forumu: Nema registrovanih korisnika i 2 gostiju

cron

Index stranicaTimObriši sve kolačiće boarda
Danas je Nedelja, 25. Oktobar 2020, 06:34 • Sva vremena su u UTC + 1 sat [ DST ]
Pokreće ga phpBB® Forum Software © phpBB Group
Prevod – www.CyberCom.rs