문장 혹은 명제의 일종. "가언문", "가언명제", 함의문라는 명칭도 종종 쓰인다. 영어로는 conditionals. 맥락에 따라서 "hypotheticals", "implication" 같은 용어도 쓰인다. 한국어를 비롯한 다양한 자연 언어에서 널리 쓰이며, 한국어에서 쓰이는 대표적인 문형은 다음과 같다.
만약에 ( - ) 면, ( …… ) 다.
영어에서는 대표적으로 다음과 같은 문형이 쓰인다.
If ( - ) , then ( …… ) .
기호논리학으로 표현할 경우, 가장 '중립적으로' 쓰이는 기호는 '→'이다.
이때 앞에 오는 'P'를 "전건 ( antecedent ) ", 뒤에 오는 'Q'를 "후건 ( consequent ) "라고 부른다.
논리학적, 언어학적, 철학적으로 많은 분석이 이루어졌으며, 여전히 여러 쟁점이 남아있는 주제.
