전건,antecedent

Difference between r1.9 and the current

@@ -1,30 +1,16 @@
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]] 
 
[[조건문,]](conditional, conditional statement ? conditional sentence ?)
if A then B
에서,
A는 '''전건,antecedent'''이고
B는 [[후건,consequent]]이라 불린다.

Twin: WpKo:전건_긍정
}
----
Sub: 
[[전건부정]] ... Ggl:"전건 부정" Ndict:"전건 부정"
전건 부정의 오류:
A이면 B이다. A가 아니다. 그러므로 B가 아니다.

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

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

조건문,(conditional, conditional statement ? conditional sentence ?)
if A then B
에서,
A는 전건,antecedent이고
B는 후건,consequent이라 불린다.

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

Sub: 전건긍정,modus_ponens

전건,antecedent Modified on 9:39 am, February 6, 2024.
🎲 Random