Para realizar uma dedução lógica devemos utilizar alternativa as regras de derivadas e as implicações alternativa B as equivalências e as regras de inferências alternativas e as regras de sinal e as equivalências Alternativa de derivadas e as regras de inferência alternativa e as regras de derivadas e as regras de inferências