5. Usar lógica formal sem mistério
Você usa noções simples de lógica proposicional e quantificadores para ver quando a forma de um argumento sustenta ou derruba uma conclusão. Tabelas-verdade e diagramas aparecem como ferramentas práticas, não como decoração matemática.