Resumão e lista de exercícios sobre Lógica de Primeira Ordem Clássica (LPOC); também conhecida como Cálculo Quantificacional Clássico (CQC).
A soft deadline é 9 de dezembro. Uma semana antes da prova.
Vocês tem duas semanas para entregar, mas o conteúdo é extenso e eu recomendo que vocês comecem a estudar o quanto antes.
Vocês tem duas semanas para entregar, mas o conteúdo é extenso e eu recomendo que vocês comecem a estudar o quanto antes.
Além do mais, o conteúdo desta lista pressupõe domínio do conteúdo das listas anteriores, em especial sobre Teoria de Conjuntos de Lógica Proposicional Clássica. É uma boa oportunidade para quem ainda não entregou estas listas de exercício. Elas ainda podem ser entregues (com desconto de 50% na nota).
