{
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
Retrieved from http://www.red-ruby.com/wiki/wiki.php/연역정리,deduction_theorem
last modified 2024-03-01 21:25:20