후건부정,modus_tollens

Difference between r1.11 and the current

@@ -30,6 +30,9 @@
||modus ponens ||[[전건긍정,modus_ponens]] ||[[추론규칙,inference_rule]]임. ||$P$ and $P\Rightarrow Q$ ||$Q$ ||
||? ||[[전건부정]] ||logical_fallacy임. || || ||
----
MKL
이름에 [[부정,negation]]? 있는데 관계 확실히
----
Twin:

WtEn:modus_tollens


영어: denying the consequent
라틴어: modus tollens

결론의 부정으로부터 전제의 부정을 유도하는 추론 규칙


¬Q, P→Q ⊢ ¬P

만약 P라면, Q이다. 그런데 Q가 아니다. 따라서 P가 아니다.

추론 형식:
$\displaystyle \frac{P\to Q\;\neg Q}{\neg P}$
또는
$\displaystyle P\to Q,\neg Q \vdash \neg P$

Compare:
{
전건긍정,modus_ponens curr. goto 전건,antecedent

denying the consequent = 후건부정
denying the antecedent : logical_fallacy. invalid_argument. - https://everything2.com/title/Denying the Antecedent

}

tmp table

라틴어 이름 page 은, 전제,premise? 결론,conclusion?
modus tollens 후건부정,modus_tollens 추론규칙,inference_rule임. $\displaystyle P\Rightarrow Q$ and $\displaystyle \neg Q$ $\displaystyle \neg P$
? 후건긍정 logical_fallacy임.
modus ponens 전건긍정,modus_ponens 추론규칙,inference_rule임. $\displaystyle P$ and $\displaystyle P\Rightarrow Q$ $\displaystyle Q$
? 전건부정 logical_fallacy임.

MKL
이름에 부정,negation? 있는데 관계 확실히

Twin: