추론규칙,inference_rule

rule of inference, inference rule, 추론 규칙
aka 추론 형식 (wk)


Sub:

// WpKo:추론_규칙앞부분에서
전건긍정 전건긍정,modus_ponens (P, P→Q) ⊢ Q
후건부정 후건부정,modus_tollens (￢Q, P→Q) ⊢ ￢P
부정도입 ... =부정기호도입 ? 부정기호도입규칙?
...




WtEn:cut_rule ? kkkkkkkkkk


admissible_rule =,admissible_rule =,admissible_rule . admissible_rule
{
형식체계,formal_system에 추가되어도 그 체계의 정리,theorem를 바꾸지 않는 추론규칙,inference_rule. 사실 이게 없이도 이미 존재하는 규칙들로부터 모든 formula가 derive될 수 있으므로, 이것은 redundant하다고 볼 수 있음.



resolution =,resolution . resolution
{

Curr tmp goto 해상도,resolution


https://en.wikipedia.org/wiki/Resolution_(logic)
corresp ko: https://ko.wikipedia.org/wiki/분해_증명
"어떤 두 명제가 논리합으로 이어져 있을 때 다른 명제를 도입하여 증명하는 방법이다. 형식적으로 볼 때, 이는 추이 법칙(추이법칙 Ndict:추이법칙 Ggl:추이법칙 Ggl:transitive rule ?) 혹은 삼단논법,syllogism의 일반화로 볼 수 있다."(wk 분해_증명)
tmp bmks:
https://doorbw.tistory.com/63
resolvent - 분해식
Ggl:resolution 증명

https://www.pls-lab.org/en/Resolution

단어 resolution 다른뜻
이미지,image - 해상도 분해능 해상도,resolution
사회, 단체 - 결의, 의결
}

rule_based =,rule_based . rule_based
rule-based =,rule-based . rule-based
{
이건 규칙,rule페이지에 놓는 게 나은가, 여기 놓는게 나은가? 여기가 나을 것 같은데. rule_based XX에서 사용하는 rule은 항상 추론을 위한 것이므로. (아닌 경우가 있는지? QQQ)


CategoryPrefix ?
}

ADDHERE
ADDHERE
ADDHERE
ADDHERE

[edit]

from wpsimple

전제,premise(전건)을 받아 구문,syntax를 분석하여 결과,conclusion를 돌려준다.

[edit]

MKLINK

추론규칙,inference_rule Modified on 11:41 pm, December 21, 2023.
🎲 Random