A prova escrita será realizada no dia 18 de Junho. Os locais da prova serão divulgados em breve.
A prova consistirá de dois partes: Tabelas de Verdade e Dedução Natural. O seguente é um link a um exemplo de prova de exame. Isso reflete exatamente o tipo e numero de exercícios que vocês deveram resolver durante a prova. Resolvam os exercícios e traiam suas soluções na próxima quinta-feira (30 de Maio).
Exemplo de prova de exame
Atenção. O exercício 1.4 contem dois erros. Dois das supostas equivalências logicas do exercício não são equivalências logicas. Achem quais são antes de entregar o exame na próxima aula. Notem também que o primeiro exercício contem três variáveis proposicionais, e que portanto é um pouco mais complicado do que aparecerá no exame.
Não exitem a me contatar por qualquer duvida. Estou disponível para monitorias, caso alguem ache que seria útil.
Nenhum comentário:
Postar um comentário