Abaixo disponibilizo uma série de exercícios introdutórios de lógica desenvolvidos originalmente como material de apoio a um curso de Lógica na Universidade Federal de Santa Maria. Os exercícios se dividem em três seções, com várias atividades cada. As seções iniciais abordam noções introdutórias como valores de verdade, enunciados completos e incompletos, argumentos e validade. A última seção aborda o teste de validade de silogismos utilizando o método de Gardner para a silogística desenvolvido por Frank Sautter (2013). Os exercícios têm correção automática ao final e podem ser realizados livremente.
- Seção 1: https://goo.gl/forms/ijla9UMmYug3PCOh1
- Seção 2: https://goo.gl/forms/vKjZR7UOWrPcc8XI2
- Seção 3: https://goo.gl/forms/NIiufTZNJwB6hre72
Marcelo Fischborn 