bn:01410035n
Noun Concept
Categories: Lógica matemática
PT
sentença
PT
Em lógica matemática, uma sentença de uma lógica de predicados é uma fórmula bem formada com valor booleano e sem variáveis livres. Wikipedia
Portuguese:
lógica matemática
Definitions
Relations
Sources