Lógica Proposicional - Método da Negação ou Absurdo

Este vídeo apresenta o Método de Validação da Negação ou redução ao absurdo, para provar se um dado argumento é válido ou não.