Sumários
Provar Invalidade
10 Dezembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
A semântica do Cálculo de Predicados.
A identidade como predicado lógico
6 Dezembro 2018, 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. Identidade entendida como identidade numérica – ser a mesma coisa. A identidade como predicado lógico, representado pelos símbolos = e ¹, cuja extensão é constante em todas as interpretações: uma relação que cada objecto do domínio tem consigo mesmo e só consigo mesmo. Formalizações com identidade.
Derivações
6 Dezembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Derivações - continuação.
Interpretações e contramodelos com predicados de n lugares
4 Dezembro 2018, 18:00 • Ricardo Santos
Interpretações para fórmulas com predicados de n lugares. Contramodelos para formas de argumento com predicados de n lugares. Trabalhar com pares (e triplos, etc.) ordenados de objectos do domínio. Mais exercícios de formalizações.
Derivações
4 Dezembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Demonstração da validade de argumentos no Cálculo de Predicados.
Quantificação simples e dupla.