연역정리,deduction_theorem

{
deduction theorem

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

MKLINK
커링,currying

Twin:

deduction_theorem

see also mentions: conditional_proof = https://en.wikipedia.org/wiki/Conditional_proof

kor interwiki => https://ko.wikipedia.org/wiki/함의_도입

"논리학에서, 함의 도입(含意導入, 영어: implication introduction)은 가언명제w(

가언명제 ... Up: 명제proposition)를 유도하는 추론규칙,inference_rule이다."

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

Deduction_theorem
= https://en.wikipedia.org/wiki/Deduction_theorem

Up: 연역,deduction 정리,theorem
} // deduction theorem = 연역정리. ....

deduction theorem

deduction theorem