Sumários
Negação de Quantificadores
29 Novembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça
A regra da negação de quantificadores (NQ).
IV. Lógica de Predicados - 6
29 Novembro 2022, 09:30 • António José Teiga Zilhão
Conclusão do estudo da semântica do Cálculo de Predicados: definições de validade k-ária e de validade universal; fórmulas universalmente válidas e sequentes universalmente válidos. 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 que eles representam.
Invalidade
28 Novembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça
Continuação do estudo das técnicas que permitem estabelecer a invalidade de um argumento no C. Predicados.
IV. Lógica de Predicados - 5
28 Novembro 2022, 09:30 • António José Teiga Zilhão
Conclusão do estudo da sintaxe do Cálculo de Predicados: teoremas do Cálculo de Predicados (definição); derivação de teoremas do Cálculo de Predicados; a regra de introdução de teoremas (RIT).
A semântica do Cálculo de Predicados: noção de interpretação de uma fórmula do cálculo de predicados num domínio não vazio de objectos; noções de satisfazibilidade, validade e insatisfazibilidade de uma fórmula do Cálculo de Predicados num domínio de objectos.
A Semântica do Cálculo de Predicados
24 Novembro 2022, 12:30 • Maria Adriana Sequeira da Silva Graça
A Semântica do Cálculo de Predicados.