부정적 부정적 긍정식

긍정적^부정식001
선언적 삼단 논법의 한 형식으로서, 대전제를 이루는 선언 명제의 한 선언지를 소전제에서 긍정하고 나머지 선언지를 결론에서 부정하는 추리.

부정적^긍정식001
선언적 삼단 논법의 한 형식으로서 대전제를 이루는 선언 명제의 한 선언지를 소전제에서 부정하고 나머지 선언지를 결론에서 긍정하는 추리. 일반적으로 선언적 삼단 논법이라고 하면 이런 형식의 추리를 가리킨다.