AT03 Cálculo de Hilbert

25 fevereiro 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Axiomas e regras de inferência. Derivação de fórmula a partir de conjunto de fórmulas. Exemplos.