[Logic] <논리적 추론과 증명> (2)

4장. 모순, 반대, 소반대, 정언 진술 그리고 벤 다이어그램 [모순(contradiction), 반대(contrariety), 소반대 (Subcontrariety] - 문장(sentence): 진리값을 가지고 있는 진술(statement) X와 Y는 반대 관계(contraries)이다 = X와 Y는 동시에 참일 수 없다.

X와 Y는 소반대 관계이다 = X와 Y는 동시에 거짓일 수 없다. X와 Y는 모순 관계(contradictories) = X와 Y는 항상 서로 다른 진리값을 가진다.

[정언 진술(categorical statement)] 주어(the subject term)에 의해 지시되는 집합의 전부 또는 일부가 술어(the predicate term)에 의해 지시되는 집합에 의해 포함 또는 배제되어 있음을 주장하는 진술 1) 전칭긍정 진술 (Universal affirmative statement) 주어 집합 (the subject set) 전체가 술어 집합 (the pred...