Sumários
Expansões e interpretações no C. Predicados
4 Dezembro 2023, 14:00 • Maria Adriana Sequeira da Silva Graça
Expansões e interpretações no C. Predicados: provar invalidade de argumentos.
IV. Lógica de Predicados - 7
4 Dezembro 2023, 09:30 • António José Teiga Zilhão
Resolução de exercícios no âmbito da Lógica de Predicados.
IV. Lógica de Predicados - 6
30 Novembro 2023, 09:30 • António José Teiga Zilhão
2. O Cálculo de Predicados
2.3. Semântica do Cálculo de Predicados
2.3.1. Interpretação de uma fórmula bem formada do cálculo de predicados num domínio não vazio de objectos;
2.3.2. Satisfazibilidade de uma fórmula bem formada do Cálculo de Predicados num domínio não vazio.
2.3.2. Validade de uma fórmula bem formada do Cálculo de Predicados num domínio não vazio.
2.3.3. Insatisfazibilidade de uma fórmula bem formada do Cálculo de Predicados num domínio não vazio.
2.3.4. Validade k-ária e Validade universal.
2.3.5. Fórmulas universalmente válidas, representação de inferências válidas no Cálculo de Predicados e sequentes universalmente válidos.
2.3.6. Construção de interpretações de sequentes do Cálculo de Predicados em domínios não vazios simples como modo de mostrar a invalidade dos argumentos por eles representados.
As regras primitivas - detalhes
28 Novembro 2023, 14:00 • Maria Adriana Sequeira da Silva Graça
As regras primitivas - problemas filosóficos subjacentes à sua aplicação. Restrições a IE e a GU; "permissões" em IU e em GE.