splnitelnost
Logika, 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“. Splnitelnost složené formule je určována splnitelností výchozích dílčích formulí.
Vytvořeno:
14. 3. 2000
Aktualizováno:
5. 12. 2008
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!