É CORRETO afirmar que um algoritmo de inferência que deriva apenas de sentenças decorrentes é chamado de
  • A. aplicável (applicable).
  • B. extensível (extensible).
  • C. firme (sound).
  • D. redutível (reducible).