|
S is M
{MP}=Ф
{SM}=Ф
부당
some S is P
{SP}≠Ф
EAO
all M isnot P
all S is M
{MP}=Ф
{SM}=Ф
부당
some S isnot P
{SP}≠Ф
논식
형태
전제의 벤다이어 그램
결론의 벤다이어그램
타당여부
2
격
EAE
all P isnot M
all S is M
{PM}=Ф
{SM}=Ф
타당
all S isnot P
{SP}=Ф
AEE
all P is M
all S isn
|
|
|
정언명제의 표준형식
● 정언명제의 주연․부주연 관계
● 주연 관계를 벤다이어그램
● 추론
● 변형에 의한 직접추론
● 대당에 의한 직접추론
● 대당관계 진위 불명
● 정언적 삼단논법의 격
● 정언적 삼단논법의
|
|
|
다이어그램이 결론을 포함한다면 S와 P 사이에 겹치는 구역인 SPM 나 SPM 중 하나에 x가 있어야 한다. SPM안의 가려진 부분은 그것이 비었음을 알려준다. SPM와SPM사이의 선위의 x는 이 격 중 하나가 반드시 구성원임을 알려주지만 이것은 우리에게
|
|
|
다이어그램이 결론을 포함한다면 S와 P 사이에 겹치는 구역인 SPM 나 SPM 중 하나에 x가 있어야 한다. SPM안의 가려진 부분은 그것이 비었음을 알려준다. SPM와SPM사이의 선위의 x는 이 격 중 하나가 반드시 구성원임을 알려주지만 이것은 우리에게
|
|
|
삼단논법
ㆍ모든 사람은 죽는다.
ㆍ나도 사람이다.
ㆍ그러므로 나도 죽는다.
< 타당한 전제>
ㆍ모든 잡초는 식물이다.
식물
나무
ㆍ나무는 식물이다.
잡초
ㆍ그러므로 모든 나무는 잡초다.
< 타당하지 않은 전제>
ex ) 벤다이어그램 (
|
|
메뉴펼치기
