Regras de Inferência

regra inferencia lógica
regra inferencia lógica