전건,antecedent in RRWiki

Difference between r1.12 and the current

@@ -1,35 +1,16 @@

[[조건문,]](conditional, conditional statement ? conditional sentence ?)

if A then B

에서,

A는 '''전건,antecedent'''이고

B는 [[후건,consequent]]이라 불린다.

----

Sub:

[[전건부정]] ... Ggl:"전건 부정" Ndict:"전건 부정"

전건 부정의 오류:
A이면 B이다. A가 아니다. 그러므로 B가 아니다.

Sub: [[전건긍정,modus_ponens]]

{

~~영어: '''affirming the antecedent'''~~

~~라틴어: '''modus ponens'''~~

~~AKA 함의소거(implication elimination)~~

~~P이면 Q이다. P이다. → Q이다.~~

~~추론 형식:~~

~~$\frac{A\to B \; A}{B}$~~

또는

~~$A\to B,A\vdash B$~~

~~여기서~~

~~$A,B$ : 논리식을 나타내는 메타 변수~~

~~$\to$ : [[함의,implication]]~~

~~$\vdash$ : 왼쪽 논리식으로부터 오른쪽 논리식을 증명할 수 있음을 나타내는 메타 논리 기호~~

~~P, P→Q ⊢ Q~~

~~Compare: [[후건부정,modus_tollens]]~~

~~Twin: WpKo:전건_긍정~~

~~http://www.aistudy.com/logic/modus_ponens.htm - aka '''긍정식'''~~

}

Compare: [[후건,consequent]]
Up: [[논리학,logic]]

조건문,(conditional, conditional statement ? conditional sentence ?)

if A then B

에서,

A는 전건,antecedent이고
B는 후건,consequent이라 불린다.

전건 부정
전건 부정의 오류:

A이면 B이다. A가 아니다. 그러므로 B가 아니다.