Junte-se à comunidade do IDNLearner.com para soluções rápidas. Junte-se à nossa plataforma de perguntas e respostas para obter respostas rápidas e precisas para todas as suas perguntas importantes.
Resposta:
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. Uma sentença pode ser vista como expressão de uma proposição, algo que possa ser falso ou então verdadeiro.