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

Logički iskazi

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

Logički iskazi

Postod ivzo » Utorak, 02. Jul 2013, 18:37

Neka su [inlmath]P[/inlmath] i [inlmath]Q[/inlmath] proizvoljni iskazi. Tada je uslov [inlmath]P\land Q[/inlmath] uslovu [inlmath]Q\land P[/inlmath]:

dovoljan, potreban, potreban i dovoljan, ni potreban ni dovoljan

Da li moze malo pojasnjenje?
ivzo  OFFLINE
 
Postovi: 60
Zahvalio se: 36 puta
Pohvaljen: 10 puta

Sharuj ovu temu na:

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

Re: Logički iskazi

Postod Daniel » Utorak, 02. Jul 2013, 19:32

Kod konjunkcije važi komutativnost, što znači da su uslovi [inlmath]P\land Q[/inlmath] i [inlmath]Q\land P[/inlmath] međusobno ekvivalentni. To znači, kada je tačan [inlmath]P\land Q[/inlmath], tačan je i [inlmath]Q\land P[/inlmath] i obratno – kada je tačan [inlmath]Q\land P[/inlmath], tačan je i [inlmath]P\land Q[/inlmath].

Upravo zbog toga, uslov [inlmath]P\land Q[/inlmath] je i potreban i dovoljan uslov za uslov [inlmath]Q\land P[/inlmath].

Potreban je zato, jer uslov [inlmath]Q\land P[/inlmath] ne može biti ispunjen ako nije ispunjen uslov [inlmath]P\land Q[/inlmath]. Znači, neophodno je, tj. potrebno, da uslov [inlmath]P\land Q[/inlmath] bude ispunjen, da bi bio ispunjen uslov [inlmath]Q\land P[/inlmath].

Dovoljan je zato, jer kad je ispunjen uslov [inlmath]P\land Q[/inlmath], tada je uvek ispunjen i uslov [inlmath]Q\land P[/inlmath]. Znači, nikakav dodatni uslov nije potreban da bi uslov [inlmath]Q\land P[/inlmath] bio ispunjen, dovoljno je samo da bude ispunjen uslov [inlmath]P\land Q[/inlmath].
I do not fear death. I had been dead for billions and billions of years before I was born, and had not suffered the slightest inconvenience from it. – Mark Twain
Korisnikov avatar
Daniel  OFFLINE
Administrator
 
Postovi: 9300
Lokacija: Beograd
Zahvalio se: 5151 puta
Pohvaljen: 4951 puta


Povratak na MATEMATIČKA LOGIKA

Ko je OnLine

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


Index stranicaTimObriši sve kolačiće boarda
Danas je Četvrtak, 28. Mart 2024, 23:25 • Sva vremena su u UTC + 1 sat
Pokreće ga phpBB® Forum Software © phpBB Group
Prevod – www.CyberCom.rs