- 논리학,logic
[[전건,antecedent]] [[전건긍정,modus_ponens]] 전건부정의오류
- 부정,negation
||긍정 || [[전건긍정,modus_ponens]] || 오류 ||
- 삼단논법,syllogism
[[modus_ponens]] - [[전건긍정,modus_ponens]]
- 소거,elimination
함의 '''소거''' = [[전건긍정,modus_ponens]]
- 전건,antecedent
Sub: [[전건긍정,modus_ponens]]
- 추론규칙,inference_rule
전건긍정 [[전건긍정,modus_ponens]] (P, P→Q) ⊢ Q
[[전건긍정,modus_ponens]]의 [[일반화,generalization]].
[[전건긍정,modus_ponens]]
- 후건부정,modus_tollens
[[전건긍정,modus_ponens]] curr. goto [[전건,antecedent]]
||modus ponens ||[[전건긍정,modus_ponens]] ||[[추론규칙,inference_rule]]임. ||$P$ and $P\Rightarrow Q$ ||$Q$ ||
Found 7 matching pages out of 2032 total pages
You can also click here to search title.