在逻辑学中, 肯定前件是指描述蕴涵这一逻辑连接词的使用方式的推导规则:Γ⊢BΓ⊢A→BΓ⊢A即对某个蕴涵的前提条件的肯定.
•
肯定前件对应类型论中函数类型的消去规则, 即函数应用.
肯定前件在线性逻辑中, 需要分裂语境以便保持线性的性质.
肯定前件在逻辑的范畴语义中, 往往对应张量–同态伴随的余单位.
术语翻译
肯定前件 • 英文 method of affirmation • 拉丁文 modus ponens