Nas próximas aulas, 4 e 6 de abril veremos:
1. O sistema axiomático de P de lógica sentencial (Hunter seções 22 e 23)
2. O teorema da dedução para P (Hunter seção 26).
As seções do Hunter você encontra em
E uma apostila sobre o t. da dedução está em
Abraços
Nenhum comentário:
Postar um comentário