Difference between r1.12 and the current
@@ -25,11 +25,16 @@
https://orbi.kr/00062208244/초등학생도%20이해하는%20전건긍정,%20후건부정
----
https://simple.wikipedia.org/wiki/Modus_ponens
[[WpKo:전건_긍정]]
= https://ko.wikipedia.org/wiki/전건_긍정
----
Compare: [[후건부정,modus_tollens]]
Compare:
[[전건부정]] (논리적오류)
[[후건부정,modus_tollens]]
----
Twin:WtEn:modus_ponens
[[WpKo:전건_긍정]]
= https://ko.wikipedia.org/wiki/전건_긍정
@@ -40,4 +45,7 @@
http://www.aistudy.com/logic/modus_ponens.htm - aka '''긍정식'''
https://planetmath.org/modusponens
Up: [[전건,antecedent]] [[derivation_rule]]
https://planetmath.org/modusponens
... Ndict:"modus ponens"
[[추론규칙,inference_rule]]
이름에 전건,antecedent이 있는데 관계 확실히
영어: affirming the antecedent
라틴어: modus ponens
AKA 함의소거(implication elimination) // 함의,implication 소거,elimination
라틴어: modus ponens
AKA 함의소거(implication elimination) // 함의,implication 소거,elimination
P이면 Q이다. P이다. → Q이다.
추론 형식:
$\displaystyle \frac{A\to B \; A}{B}$
또는$\displaystyle A\to B,A\vdash B$
여기서$\displaystyle A,B$ : 논리식을 나타내는 메타 변수
$\displaystyle \to$ : 함의,implication
$\displaystyle \vdash$ : 왼쪽 논리식으로부터 오른쪽 논리식을 증명할 수 있음을 나타내는 메타 논리 기호
P, P→Q ⊢ Q$\displaystyle \to$ : 함의,implication
$\displaystyle \vdash$ : 왼쪽 논리식으로부터 오른쪽 논리식을 증명할 수 있음을 나타내는 메타 논리 기호
$\displaystyle \frac{P,\;P \textrm{ implies } Q}{Q}$
Twin:
https://simple.wikipedia.org/wiki/Modus_ponens
전건_긍정
= https://ko.wikipedia.org/wiki/전건_긍정
Modus_ponens
https://mathworld.wolfram.com/ModusPonens.html
https://encyclopediaofmath.org/wiki/Modus_ponens
https://everything2.com/title/Modus Ponens
http://www.aistudy.com/logic/modus_ponens.htm - aka 긍정식
https://planetmath.org/modusponens
전건_긍정
= https://ko.wikipedia.org/wiki/전건_긍정
Modus_ponens
https://mathworld.wolfram.com/ModusPonens.html
https://encyclopediaofmath.org/wiki/Modus_ponens
https://everything2.com/title/Modus Ponens
http://www.aistudy.com/logic/modus_ponens.htm - aka 긍정식
https://planetmath.org/modusponens