Sumários
Traduções
4 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Traduções com predicados binários e quantificação múltipla.
A identidade como predicado lógico
30 Novembro 2017, 18:00 • Ricardo Santos
Sentidos do verbo ‘ser’ – predicativo, existencial e identitativo – e sua representação na linguagem da lógica de predicados. Problemas filosóficos em torno dos conceitos de predicação, de existência e de identidade. A identidade como predicado lógico. Convenções sintácticas. Formalizações com a identidade.
Traduções
30 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Derivações com a regra da Negação de Quantificadores.
Formalizações e deduções na lógica de predicados
28 Novembro 2017, 18:00 • Ricardo Santos
Exercícios de formalização e de dedução natural na lógica de predicados.
Negação de Quantores
28 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Exercícios de consolidação.