연역논증_전칭명제

정언논리는 단순명제를 다음과 같이 구분한다.

	긍정	부정
전칭명제	모든 F는 G이다	모든 F는 G가 아니다
특칭명제	어떤 F는 G이다	어떤 F는 G가 아니다
단칭명제	a는 F이다	a는 F가 아니다

 

 

전칭명제

 

전칭명제는 ‘모든 ~’으로 표현되는 명제이다.

 

이러한 전칭명제는 사실상 조건명제의 의미를 갖는다.

모든 F는 G이다 : 무엇이든지, 만약 그것이 F라면, 그것은 G이다 모든 F는 G가 아니다 : 무엇이든지, 만약 그것이 F라면, 그것은 G가 아니다

 

‘모든 F는 G이다’라는 명제는 만약 어떤 것이 F이기만 한다면, G라는 것을 말한다.

 

이것은 예를 들어보면 분명해진다.

<모든 새는 날개가 있다>라는 명제는 만약 어떤 것이 새이기만 한다면, 그것은 날개를 가지고 있을 것임을 말한다.

 

그리고 이것을 이해한다면 전칭긍정명제는 다양하게 표현될 수 있다

 

모든 새는 날개가 있다

무엇이든지, 만약 그것이 새라면, 그것은 날개가 있다

각각의 새는 날개가 있다

새는 날개가 있다

날개가 없는 새는 없다

날개가 없는 모든 것은 새가 아니다

오직 날개가 있는 것만이 새이다