#noindex
##===연역정리,deduction_theorem =,deduction_theorem 연역정리 deduction_theorem
{
'''deduction theorem'''

curr see https://chocobear.tistory.com/152?category=851370

MKLINK
[[커링,currying]]

----
Twin:

[[WtEn:deduction_theorem]]
 see also mentions: [[conditional_proof]] = https://en.wikipedia.org/wiki/Conditional_proof
  kor interwiki => https://ko.wikipedia.org/wiki/함의_도입
   "논리학에서, 함의 도입(含意導入, 영어: implication introduction)은 [[가언명제]]w( Ggl:가언명제 ... Up: [[명제proposition]])를 유도하는 [[추론규칙,inference_rule]]이다."

[[WpKo:연역_정리]]
= https://ko.wikipedia.org/wiki/연역_정리

[[WpEn:Deduction_theorem]]
= https://en.wikipedia.org/wiki/Deduction_theorem

Ggl:연역정리
Ndict:연역정리

Up: [[연역,deduction]] [[정리,theorem]]
} // deduction theorem = 연역정리. .... Ndict:"deduction theorem" Ggl:"deduction theorem"