ウィキペディア

クレイグの補間定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2012/05/19 05:24 UTC 版)

クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。