IV. Lógica de Predicados - 3
11 Dezembro 2020, 14:00 • António José Teiga Zilhão
B. O 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.