Regras de inferência “Simplificação” – Lógica Matemática e Lógica Proposicional