L1gica de Predicados

Apuntes

• Subtema: Lógica de Predicados A lógica de predicados é uma representação formal de enunciados categóricos que permite expressar relações com quantificadores. Ela possibilita a formalização de proposições que envolvem classes de objetos, suas características e relações entre eles. --- • Subtema: Proposições Categóricas As proposições categóricas expressam relações entre classes de objetos, que podem ser categorias ou conjuntos com características comuns. Essas afirmações relacionam o termo sujeito (objeto) com o termo predicado (classe), podendo ser afirmativas ou negativas, universais ou particulares. --- • Subtema: Proposições Singulares São afirmações específicas sobre um indivíduo em particular, indicando se ele possui ou não uma determinada característica. Exemplo: "Rocco é professor." Essas proposições avaliam uma relação específica entre um indivíduo e uma característica. --- • Subtema: Predicados de Relação Predicados de relação combinam mais de um sujeito, indicando relações entre diferentes indivíduos. Por exemplo: "Rocco é amigo de Sívio." Nesse caso, predicados de relação conectam dois sujeitos por meio de uma relação específica. --- • Subtema: Variáveis, C...