전건긍정,modus_ponens in RRWiki

Difference between r1.16 and the current

@@ -1,4 +1,4 @@

'''''이름에 [[전건,antecedent]]이 있는데 관계 확실히'''''

'''''이름에 [[전건,antecedent]] [[긍정,affirmation]]이 있는데 관계 확실히'''''

영어: '''affirming the antecedent'''
라틴어: '''modus ponens'''

@@ -29,6 +29,9 @@

[[전건부정]] (논리적오류)
[[후건부정,modus_tollens]]

MKL

[[전건,antecedent]]

[[긍정,affirmation]]

----
Twin:

이름에 전건,antecedent 긍정,affirmation이 있는데 관계 확실히

영어: affirming the antecedent
라틴어: 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 \frac{P,\;P \textrm{ implies } Q}{Q}$

Twin:

...