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

Propoziciona logika

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

Propoziciona logika

Postod ubavic » Utorak, 05. Novembar 2013, 20:41

Trenutno pratim kurs "Uvod u logiku" na Courser-i. Tokom druge nedelje obrađuje se pojam logical entailment ([inlmath]\models[/inlmath]) sa kojim se prvi put susrećem, pa imam par pitanja...
0. Kako glasi srpski termin za "logical entailment"?
1. Koliko sam shvatio, taj simbol upotrebljavamo kada je istinitosna vrednost promenljivih sa leve strane znaka ([inlmath]\models[/inlmath]) jednaka istinitosnoj vrednosti iskaza sa desne strane znaka za sve kombinacije promenljivih.
2. Primetio sam da je sa leve strane skup promenljivih. Da li je istinitosna vrednost tog skupa jednaka konjunkciji svih promenljivih? [inlmath]\tau\left(\left\{p_1,p_2,p_3,\dots\right\}\right)\Leftrightarrow p_1\land p_2\land p_3,\dots[/inlmath]
ubavic  OFFLINE
Zaslužni forumaš
 
Postovi: 623
Zahvalio se: 385 puta
Pohvaljen: 641 puta

Sharuj ovu temu na:

Share on Facebook Facebook Share on Twitter Twitter Share on MySpace MySpace Share on Google+ Google+
  • +2

Re: Propoziciona logika

Postod bojana » Petak, 14. Novembar 2014, 18:10

Pratim i ja isti kurs i sasvim slucajno sam tek sad saznala za ovaj sajt.
Postoji ova definicija na srpskom: Neka je [inlmath]\Delta[/inlmath] neki skup formula i [inlmath]A[/inlmath] neka formula. Kazemo da je [inlmath]A[/inlmath] semanticka posledica od [inlmath]\Delta[/inlmath] (ili da [inlmath]A[/inlmath] logicki sledi iz [inlmath]\Delta[/inlmath]) ako je tacna u svim onim valuacijama u kojima su sve formule iz [inlmath]\Delta[/inlmath] tacne. U tom slucaju pisemo [inlmath]Δ\models A[/inlmath].
Dakle dobro si shvatio kako funkcionise taj simbol i za sta se koristi. :)
bojana  OFFLINE
 
Postovi: 1
Zahvalio se: 0 puta
Pohvaljen: 2 puta

Re: Propoziciona logika

Postod ubavic » Petak, 14. Novembar 2014, 21:56

Hvala :D Planiram da ponovo pređem taj kurs pošto ima dosta toga da se nauči. I ostali matematički kursevi su odlični
ubavic  OFFLINE
Zaslužni forumaš
 
Postovi: 623
Zahvalio se: 385 puta
Pohvaljen: 641 puta


Povratak na MATEMATIČKA LOGIKA

Ko je OnLine

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


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