consequence relation

برابر انگلیک (انگلیسی): consequence relation