조건을 나타내고 종속성을 나타냅니다. 가설 명제에서는 조건을 나타내는 명제를 앞물이라고 하고, 조건에 의존하는 명제를 뒷부분이라고 한다. 예를 들어, 충분한 조건은 명제가 "비가 오면 땅이 젖는다" 고 가정합니다. 여기서 "비" 는 앞이고, "지면이 젖는다" 는 것은 뒷편입니다.