Resumão e lista de exercícios sobre linguagem e semântica da LPC

Resumão e lista de exercícios sobre linguagem e semântica da lógica proposicional clássica

Soft deadline: 21 de outubro. 
Assim vocês já aproveitam e estudam para a prova, já que a maior parte do conteúdo desta é tratado na lista.