Resumão e lista de exercícios sobre Lógica de Primeira Ordem Clássica (LPOC)

https://www.facebook.com/download/851180534903892/LPOC.pdf

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.

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).

Lista de enigmas, versão corrigida

Gente, eu cometi um erro na formulação do item 5 do exercício I de forma que este ficou insolúvel. Além do mais cometi um erro na redação do item 4 do problema V. Segue uma versão corrigida do arquivo.

A data de entrega continua sendo 25 de novembro.

Lista de exercícios para 25 de novembro.

Só um monte de enigmas lógicos para vocês passarem o tempo enquanto eu termino o resumão da matéria de lógica de predicados.

Gabarito da primeira prova

Gabarito da primeira prova

Notas da terceira e da quarta lista.

Simulado

Simulado da prova com gabarito. 
Estudem a apostila, o livro e os resumos; façam a última lista de exercícios, então resolvam o simulado e confiram suas respostas no gabarito.

Segunda-feira, das 14:00 às 17:00, estarei no primeiro andar do CLE, em alguma sala, para tirar dúvidas.

NOTAS DAS LISTAS E ANÚNCIOS

NOTAS DAS LISTAS E ANÚNCIOS

Notas da segunda lista e a retificação das notas da primeira. 

Quem tiver entregue a segunda lista mas o RA não constar no arquivo, por favor me avise.
Os exercícios que mais erraram foram os itens (ii), (x), (xi), (xii) e (xiv) do exercício (0001) e os exercícios (0011), (0100), (0110) e (0111).
Cada item ou exercício sem item valeu 0,025.

Dia 14 de outubro o professor estará em viagem e vocês terão aula comigo (o monitor). O plano de aula será o seguinte: corrigir os exercícios da segunda lista que tiveram mais erro, recapitular o conceito de consequência semântica, tratar de alguns casos notáveis de consequência semântica (como a substituição de equivalentes), falar sobre o método de tablôs com rótulos semânticos e mencionar brevemente o conceito de consequência sintática. Também pretendo passar uma lista de exercícios de recapitulação para a prova não valendo nota para ser resolvida em classe com meu auxílio.

A prova continua marcada para dia 21 de outubro. O conteúdo será a linguagem e semântica da lógica proposicional clássica:
- identificar e formular fórmulas (bem formadas)
- identificar as subfórmulas de uma fórmula
- interpretar fórmulas na língua portuguesa
- utilizar tabelas veritativas para determinar se uma fórmula é contradição, contingência ou tautologia
- utilizar o método de tablôs para determinar se uma fórmula é tautologia
- utilizar tabelas veritativas e o método de tablôs para determinar se uma fórmula é consequência semântica de um conjunto de fórmulas.
- obter as formas normais conjuntiva e disjuntiva de uma função veritativa.

Este conteúdo consta no terceiro capítulo da apostila, no quarto resumão/lista de exercícios e nos capítulos 9 e 12 do livro do Mortari.

Quem for utilizar o livro do Mortari para estudar (a parte sobre tablôs é muito boa, a propósito), tome cuidado com as diferenças de notação e nomenclatura, e ignore as partes sobre lógica de predicados.