Difference between r1.10 and the current

@@ -41,5 +41,7 @@

https://mathworld.wolfram.com/ModusTollens.html
https://planetmath.org/modustollens

.... Ndict:"modus tollens"

Up:
[[추론규칙,inference_rule]]

영어: 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$

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임.

Twin:

....