{
deduction theorem
deduction theorem
Twin:
deduction_theoremsee 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이다."
가언명제 ... Up: 명제proposition)를 유도하는 추론규칙,inference_rule이다."
연역_정리= https://ko.wikipedia.org/wiki/연역_정리
