라틴어 이름 | page | 은, | 전제,premise? | 결론,conclusion? |
modus tollens | 후건부정,modus_tollens | 추론규칙,inference_rule임. | $\displaystyle P\Rightarrow Q$ and $\displaystyle \neg Q$ | $\displaystyle \neg P$ |
? | 후건긍정 | logical_fallacy임. | ||
modus ponens | 전건긍정,modus_ponens | 추론규칙,inference_rule임. | $\displaystyle P$ and $\displaystyle P\Rightarrow Q$ | $\displaystyle Q$ |
? | 전건부정 | logical_fallacy임. |