Domů Doporučení 24 Vložit novou verzi definice
Formule je splnitelná, jestliže existuje alespoň jedno pravdivostní ohodnocení formulí, ve kterém je pravdivá.