MATEMANIJA

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]

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.

Hvala Planiram da ponovo pređem taj kurs pošto ima dosta toga da se nauči. I ostali matematički kursevi su odlični