Lógica de Predicados - V

9 Dezembro 2016, 10:00 • António José Teiga Zilhão

Teoremas do Cálculo de Predicados. A Regra de Introdução de Teoremas (RIT). Semântica do Cálculo de Predicados (satisfazibilidade, insatisfazibilidade e validade num domínio; validade universal). Demonstração da invalidade de fórmulas por meio da sua interpretação num domínio dado.