Semântica Proposicional Clássica

Material:

• Aulas expositivas, reforço, sessões de dúvidas, desafios (tutores+fórum)

• Livro B&A, capítulo Lógica Proposicional: Linguagem e Semântica

• Livro DGM, capítulo 1, páginas 1-15

• Verbetes sobre NAND, NOR e completude funcional, na Wikipédia

• Soluções dos exercícios de B&A

• Soluções dos exercícios de semântica do capítulo 1 do livro DGM

• Avaliações + soluções:

  • - Avaliação 00: enunciado - gabarito

  • - Avaliação 01: enunciado - gabarito

  • - Avaliação 02: enunciado - gabarito 

  • - Avaliação 03: enunciado - gabarito 

  • - Avaliação 04: enunciado - gabarito

  • - Avaliação 05: enunciado - gabarito

  • - Avaliação 06: enunciado - gabarito

• Exame-Tipo => teste seus conhecimentos!

Temas importantes:

• Relação de consequência semântica e meta-resultados associados (monotonicidade, corte, compacidade, teorema da dedução, etc)

• Meta-resultados fundamentais sobre a conexão entre as relações de consequência formal e semântica (correção e completude)