논리결과,logical_consequence