splnitelnost
splnitelnost, log. sémantická vlastnost formule. Formule F je splnitelná, jestliže existuje takové dosazení hodnot za její proměnné, pro které nabývá formule F pravdivostní hodnoty ,,pravda". S. složené formule je určována splnitelností výchozích dílčích formulí.
