DEDUÇÃO NATURAL
O objetivo deste texto consiste em apresentar o método da dedução natural a partir do uso de regras de inferência. Para tanto, foi utilizado como referência os vídeos do canal Lógica pô disponíveis aqui. Este texto é composto das seguintes partes: