What is the difference between propositional logic and predicate logic?

A lógica proposicional é um ramo da lógica que lida com proposições, que são sentenças declarativas que podem ser verdadeiras ou falsas. A lógica proposicional usa conectivos lógicos, como "e", "ou" e "não", para construir proposições mais complexas a partir de proposições simples. Já a lógica de predicados é uma extensão da lógica proposicional que lida com predicados, que são expressões que podem ser verdadeiras ou falsas dependendo dos valores atribuídos às suas variáveis. A lógica de predicados usa quantificadores, como "para todo" e "existe", para expressar proposições que envolvem variáveis quantificadas. Em resumo, a principal diferença entre a lógica proposicional e a lógica de predicados é que a primeira lida com proposições simples, enquanto a segunda lida com predicados e variáveis quantificadas.