Fórum de tribunal

Explicaremos a segunda atividade, Fórum de Tribunal, da primeira unidade da disciplina. De acordo com o mapa da atividade os alunos terão a oportunidade de atuarem como advogados de defesa e promotores de acusação. Assim, em um tribunal fictício um professor de medicina, João da Silva está sendo julgado por suas aulas. Quem iniciou o processo foi um de seus alunos, que alega que, apesar de João ser um ótimo médico, é um péssimo professor. Utilizando a ferramenta fórum, os alunos serão divididos em dois grupos: os advogados de defesa e os promotores de acusação. Dessa forma, cada grupo deverá postar três tópicos no fórum de discussão que serão respondidos pelo outro grupo, ocorrendo assim o debate. Os argumentos e contra-argumentos finais de cada tópico devem ser postados no Fórum de Tribunal. A nota será dada de acordo com a contribuição de cada aluno para a formação do argumento ou contra-argumento final.

Inferência lógica e os sistemas de derivação

Nestes slides são apresentados conceitos sobre a inferência lógica e os sistemas de derivação. Define o conceito de argumento válido, e demonstra que a verificação da validade de argumentos pode ser feita por meio de tabelas-verdade e pelo uso de regras de inferência.

Prova por resolução

O vídeo mostra um conceito da lógica proposicional que é a prova por resolução. A vantagem dessa aplicação é a simplicidade, pois emprega apenas uma regra de inferência. Para verificar se o argumento é válido, por exemplo, são necessário três passos: converter cada premissa para FNC e negar a conclusão, separar as cláusulas, e construir a árvore de derivação ou refutação.