IV. Lógica de Predicados - 5

11 Dezembro 2019, 18: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.