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]