{
deduction theorem
deduction theorem
Twin:
deduction_theorem
= https://ko.wikipedia.org/wiki/연역_정리
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/연역_정리