AULA 5
25 Setembro 2020, 15:00 • Fernando Ferreira
Teorema da correção do cálculo proposicional. Teorema da dedução do cálculo proposicional. Preparação para a demonstração do teorema da completude do cálculo proposicional.
25 Setembro 2020, 15:00 • Fernando Ferreira
Teorema da correção do cálculo proposicional. Teorema da dedução do cálculo proposicional. Preparação para a demonstração do teorema da completude do cálculo proposicional.