A Semântica do Cálculo de Predicados

12 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça

Interpretação de fórmulas do Cálculo de Predicados para provar a invalidade de argumentos.