Reforço para a aula de lógica proposicional, fazendo 2 provas passo-a-passo.
ERRATA em 5:32: Eu quis dizer Modus-Tollens, não Ponens.
Site onde encontrei os exercícios: https://calcworkshop.com/proofs/logic...
0:00 Introdução
0:32 Prova 1
3:29 Prova 2