bn:01651507n
Noun Concept
Categories: Lógica, Teoria dos modelos
PT
satisfatibilidade  satisfiable
PT
Na lógica matemática, satisfatibilidade e validade são conceitos elementares da semântica. Wikipedia
English:
logics
Definitions
Relations
Sources
PT
Na lógica matemática, satisfatibilidade e validade são conceitos elementares da semântica. Wikipedia
Wikipedia
Wikidata
Wikipedia Translations