Lógica - Verificando a validade de um argumento com árvore semântica

Sou um estudante. Não sou professor. Podem existir erros e imprecisões técnicas em meus vídeos. Na medida do possível, deixarei os erros encontrados, aqui na descrição do vídeo. Sejam gentis nos comentários ;-)