Satisfacibilidad
En llògica proposicional, la satisfacibilidad es definix com la propietat d'un conjunt de fòrmules de tindre un model. Diem que una fòrmula és satisfacible quan despuix d'analisar-la baix una interpretació donada afirmem que té valor 1; o lo que és lo mateix, és verdadera.
- Este artícul conté una traducció derivada de «Satisfacibilidad» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.