Sumários
Dedução natural para a lógica proposicional: exercícios.
23 Outubro 2017, 18:00 • Ricardo Santos
Dedução natural para a lógica proposicional. Resolução de exercícios de dedução com conjunções e condicionais.
Derivações directas -- conclusão
23 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Derivações directas -- conclusão.
Dedução natural para a lógica proposicional: regras para a conjunção e para a condicional.
19 Outubro 2017, 18:00 • Ricardo Santos
O método da dedução natural para a lógica proposicional. As primeiras regras: regras de eliminação e de introdução para a conjunção e para a condicional. O formato de elaboração das demonstrações: linhas numeradas, com justificação de cada linha e indicação das dependências últimas. O uso de suposições numa demonstração. Descartar uma suposição por meio da introdução de uma condicional.
Exercícios
19 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Exercícios de derivação com todas as regras. Demonstração de validade de argumentos dados na linguagem natural.