Logica Proposicional Metodo Dedutivo

Este vídeo ensina como demonstrar as implicações e equivalências semânticas através do "Método dedutivo".