satisfacibilidad
Sign in to savepropiedad en lógica proposicional
Wikidata facts
- Subclass of
- property
Show 2 more facts
- maintained by WikiProject
- WikiProject Mathematics
- characteristic of
- semantics
Sources (2)
via Wikidata · CC0
Article · Español
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. * Datos: Q1350299
Abstract from DBpedia / Wikipedia · CC BY-SA