Sumários
Formalizações e deduções na lógica de predicados
3 Dezembro 2018, 18:00 • Ricardo Santos
Exercícios de formalização e de dedução natural na lógica de predicados.
Derivações
3 Dezembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Demonstração da validade de argumentos no Cálculo de Predicados.
Predicados de n lugares
29 Novembro 2018, 18:00 • Ricardo Santos
Enriquecimento da linguagem formal com predicados de dois ou mais lugares. A expressão de relações. Formalização de frases com quantificação múltipla.
Tradução
29 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Continuação.
A eliminação do quantificador existencial
27 Novembro 2018, 18:00 • Ricardo Santos
Dedução natural na lógica de predicados (continuação): a eliminação do quantificador existencial.