Este trabalho apresenta as principais inferências lógicas, com a expectativa de exemplos e demonstrações. Tem como objetivo aplicar as equivalências e propriedades das operações com proposições nas provas das principais inferências lógicas.
