Lógica de Predicados - VI
4 Dezembro 2015, 10:00 • António José Teiga Zilhão
Demonstração de alguns sequentes salientes do Cálculo de Predicados.
Teoremas e Regra de Introdução de Teoremas (RIT).
Semântica do Cálculo de Predicados. Demonstração da invalidade de fórmulas por meio da sua interpretação num domínio.