IV. Lógica de Predicados - 3

9 Dezembro 2021, 14:00 • António José Teiga Zilhão

B. O Cálculo de Predicados 

3. Teoremas do Cálculo de Predicados.  
3.1. A Regra de Introdução de Teoremas (RIT).  

C. Semântica do Cálculo de Predicados  

1.Satisfazibilidade, insatisfazibilidade e validade num domínio;  
2. Validade k-ária e validade universal;  
3. Demonstração da invalidade de fórmulas por meio da sua interpretação num domínio dado.

D. Resolução de exercícios na Lógica de Predicados.