전건,antecedent (rev. 1.7)
전건긍정,modus_ponens
{
영어: affirming the antecedent
라틴어: modus ponens
AKA 함의소거(implication elimination)
{
영어: affirming the antecedent
라틴어: modus ponens
AKA 함의소거(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$ : 왼쪽 논리식으로부터 오른쪽 논리식을 증명할 수 있음을 나타내는 메타 논리 기호
결론의 부정으로부터 전제의 부정을 유도하는 추론 규칙
￢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$
Twin: 후건_부정}
Up: 논리학,logic