Satisfacibilidad

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Satisfacibilidad» – noticias · libros · académico · imágenes Este aviso fue puesto el 3 de enero de 2020.

En lógica proposicional, la satisfacibilidad se define como la propiedad de un conjunto de fórmulas de tener un modelo. Decimos que una fórmula es satisfacible cuando después de analizarla bajo una interpretación dada afirmamos que tiene valor 1; o lo que es lo mismo, es verdadera.