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.

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.

Material e listas de exercícios

Apostila do curso
Resumo e lista de exercícios de conceitos fundamentais - Soft deadline expirada.
Resumo e lista de exercícios de Teoria de Conjuntos - Soft deadline:  07 de Outubro
Resumo e lista de exercícios sobre falácias, paradoxos e uso-&-menção - Soft deadline: 14 de Outubro