noun. ['ˈkɔrəˌlɛri'] (logic) an inference that follows directly from the proof of another proposition.