» För hvarje logisk slutledningfordras