AULA 6
29 Setembro 2020, 11:00 • Fernando Ferreira
Demonstração do teorema da completude do cálculo proposicional. A linguagem do cálculo de predicados. O exemplo da linguagem da aritmética.
29 Setembro 2020, 11:00 • Fernando Ferreira
Demonstração do teorema da completude do cálculo proposicional. A linguagem do cálculo de predicados. O exemplo da linguagem da aritmética.