#noindex
aka/curr at: [[함의,implication]]

[[조건문,implication]] (cf. [[쌍조건문,biconditional]])이라는 번역도 보임.

QQQ 비슷한 뜻의 이 단어들 뉘앙스 차이?
함축
함의
내포
암시

Ex.
가언명제(조건문, curr. [[명제,proposition]]) ''p→q''는 ''p''인 사실이 ''q''라는 사실을 '''함축한다'''는 뜻.