Sumários
Exercícios
22 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Derivações.
Exercícios
18 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Derivações no Cálculo Proposicional (com todas as regras).
Testes de validade por construção de interpretações
16 Outubro 2018, 18:00 • Ricardo Santos
Testar a validade de formas argumentativas construindo interpretações e averiguando se existe algum contramodelo. Resolução de exercícios. Dois casos especiais: argumentos com conclusão tautológica e argumentos com premissas contraditórias ou inconsistentes. Formalização de argumentos dados na linguagem natural e teste da sua validade.
Regras Derivadas
16 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Estudo das dez regras de equivalência para o Cálculo Proposicional.