Difference between r1.19 and the current
@@ -13,6 +13,8 @@
[[삼단논법,syllogism]] ?
Bing:"biconditional elimination introduction" Ggl:"biconditional elimination introduction" Naver:"biconditional elimination introduction"
WtEn:biconditional_introduction ? iiiiiiiiiijjjjjj
Compare: [[biconditional_elimination]]
rule of inference, inference rule, 추론 규칙
aka 추론 형식 (wk)
aka 추론 형식 (wk)
Sub:
// 추론_규칙앞부분에서
전건긍정 전건긍정,modus_ponens (P, P→Q) ⊢ Q
후건부정 후건부정,modus_tollens (¬Q, P→Q) ⊢ ¬P
부정도입 ... =부정기호도입 ? 부정기호도입규칙?
...
전건긍정 전건긍정,modus_ponens (P, P→Q) ⊢ Q
후건부정 후건부정,modus_tollens (¬Q, P→Q) ⊢ ¬P
부정도입 ... =부정기호도입 ? 부정기호도입규칙?
...
biconditional elimination introduction biconditional elimination introduction biconditional elimination introduction
biconditional_introduction =,biconditional_introduction =,biconditional_introduction . biconditional_introduction
{
rel. cut-elimination_theorem (curr at 소거,elimination)
biconditional_introduction ? iiiiiiiiiijjjjjj
Compare: biconditional_elimination
쌍조건문_도입 = https://ko.wikipedia.org/wiki/쌍조건문_도입
Biconditional_introduction = https://en.wikipedia.org/wiki/Biconditional_introduction
Up: biconditional
biconditional_elimination =,biconditional_elimination =,biconditional_elimination . biconditional_eliminationCompare: biconditional_elimination
쌍조건문_도입 = https://ko.wikipedia.org/wiki/쌍조건문_도입
Biconditional_introduction = https://en.wikipedia.org/wiki/Biconditional_introduction
Up: biconditional
biconditional_elimination ? mmmmmmmmmmmm
Compare: biconditional_introduction
쌍조건문_소거 = https://ko.wikipedia.org/wiki/쌍조건문_소거
Biconditional_elimination = https://en.wikipedia.org/wiki/Biconditional_elimination
Up: biconditional
cut_rule =,cut_rule =,cut_rule . cut_ruleCompare: biconditional_introduction
쌍조건문_소거 = https://ko.wikipedia.org/wiki/쌍조건문_소거
Biconditional_elimination = https://en.wikipedia.org/wiki/Biconditional_elimination
Up: biconditional
{
rel. cut-elimination_theorem (curr at 소거,elimination)
admissible_rule =,admissible_rule =,admissible_rule . admissible_rule
{
형식체계,formal_system에 추가되어도 그 체계의 정리,theorem를 바꾸지 않는 추론규칙,inference_rule. 사실 이게 없이도 이미 존재하는 규칙들로부터 모든 formula가 derive될 수 있으므로, 이것은 redundant하다고 볼 수 있음.
{
형식체계,formal_system에 추가되어도 그 체계의 정리,theorem를 바꾸지 않는 추론규칙,inference_rule. 사실 이게 없이도 이미 존재하는 규칙들로부터 모든 formula가 derive될 수 있으므로, 이것은 redundant하다고 볼 수 있음.
Curr tmp goto 해상도,resolution
https://en.wikipedia.org/wiki/Resolution_(logic)
corresp ko: https://ko.wikipedia.org/wiki/분해_증명
https://www.pls-lab.org/en/Resolution"어떤 두 명제가 논리합으로 이어져 있을 때 다른 명제를 도입하여 증명하는 방법이다. 형식적으로 볼 때, 이는 추이 법칙(추이법칙 추이법칙 추이법칙 transitive rule ?) 혹은 삼단논법,syllogism의 일반화로 볼 수 있다."(wk 분해_증명)
tmp bmks:
https://doorbw.tistory.com/63
tmp bmks:
https://doorbw.tistory.com/63
resolvent - 분해식
resolution 증명rule_based =,rule_based . rule_based
rule-based =,rule-based . rule-based
{
이건 규칙,rule페이지에 놓는 게 나은가, 여기 놓는게 나은가? 여기가 나을 것 같은데. rule_based XX에서 사용하는 rule은 항상 추론을 위한 것이므로. (아닌 경우가 있는지? QQQ)
rule-based =,rule-based . rule-based
{
이건 규칙,rule페이지에 놓는 게 나은가, 여기 놓는게 나은가? 여기가 나을 것 같은데. rule_based XX에서 사용하는 rule은 항상 추론을 위한 것이므로. (아닌 경우가 있는지? QQQ)
CategoryPrefix ?
}
}
ADDHERE
ADDHERE
ADDHERE
ADDHERE
ADDHERE
ADDHERE
ADDHERE
MKLINK ¶
// VG Srch "inference_rule"을(를) 전체 찾아보기 => http://tomoyo.ivyro.net/123/wiki.php/FindPage?action=fullsearch&value=inference_rule&context=20&case=1
AKA rule of inference, 추론 형식, transformation rule // transformation_rule transformation_rule ... src? 더 엄밀하게는, inference rule은 추론,inference을 하기 위해 문장,sentence/명제,proposition를 변환,transformation하는, transformation rule의 일종 아닐지? - 이래서 src 항상 적어놔야된다 - 보니 src: we.