Lo deducible de lo indeducible