en l贸gica proposicional, la capacidad de una f贸rmula o conjunto de ellas de ser verdaderas. Decimos que una f贸rmula es satisfacible cuando despu茅s de analizarla bajo una interpretaci贸n dada afirmamos es verdadera, (o que tiene valor 1 frente al valor 0 de las falsas). (
Wikipedia)