모든 S 는 P 로, 전명 긍정명제라고 하며, 논리학 분야에서는 이를 A 명제라고 부른다.
모든 S 는 P 가 아니며, 이를 전명 부정명제, 약칭 E 명제라고 한다.
어떤 S 는 P 로, 특칭 긍정명제, 약칭 I 명제라고 한다.
어떤 S 는 P 가 아니라 특칭 부정명제, 약칭 O 명제라고 한다.
같은 소재의 a, e, I, o 사이에는 다음과 같은 참과 거짓 관계가 있다:
1) 모순 관계. 분사는 A 와 0, E, I 사이에 존재하고 모순관계가 있는 두 가지 판단, 즉 진실과 거짓이 될 수 없다.
2. 반대 관계. A 와 e 사이에 존재합니다. -응? 반대 관계를 가진 두 가지 판단은 진짜와 같을 수 없고, 가짜일 수 있다.
3. 반대 관계를 맺다. I 와 0 사이에 존재합니다. 반대 관계를 가진 두 가지 판단은 동일시해서는 안 되고, 동일진할 수 있다.
4. 차등관계 (종속성). 각각 a 와 I, e, 0 사이에 존재합니다. 차등 관계를 가진 두 가지 판단, 하나는 전체 이름 판단이고, 하나는 특명 판단이다.
차등 관계를 가진 두 판단 사이에는 다음과 같은 참과 거짓 관계가 있다. 전체 이름 판단이 참인 경우 특칭 판단도 진실이다. 전체 이름 판단이 거짓인 경우 특칭 판단은 진위가 불확실하다. 특명 판단이 참인 경우, 전체 명칭 판단은 진위가 불확실하고, 특명 판단이 거짓인 경우, 전체 명칭 판단도 거짓이다.
확장 데이터:
첫째, 형식 논리는 일반 논리라고도합니다. 사고 형태와 그 법칙을 연구하는 과학. 그것은 도구 성격의 과학으로, 사람들이 사물을 인식하고 사상을 표현할 때 자주 사용하는 필수 논리 도구이다.
인간의 인식은 이성적 단계에서 객관적인 세계에 대한 반영을 이루기 위해서는 사고 내용과 사고 방식의 통일을 실현해야 한다. 그렇지 않으면 이 반영을 실현할 수 없다.
사고 내용은 사유에 반영된 대상과 그 속성이다. 형식은 어떤 대상에 반영된 방식, 즉 단어로 표현된 개념, 문으로 표현된 판단, 복문으로 표현된 추리 등이다.
둘째, 형식 논리 소개
어떤 구체적인 사고라도 그 내용과 그 형식을 가지고 있다. 어떤 구체적인 사고든 모두 특정한 대상을 포함한다.
예를 들어, 수학에서의 구체적인 사고는 수량과 그래프와 같은 특정 대상을 포함한다. 물리학의 구체적인 사고는 소리, 빛, 전기, 힘. 이 특정 대상들 정치경제학의 구체적 사고는 생산관계, 상품, 가치 ... 이런 특정 대상들. 각 분야마다 구체적인 사고와 관련된 대상은 다르다.
그러나 각 분야별 구체적 사고에는 몇 가지 * * * 같은 요소가 있다. 예를 들어, 다양한 분야의 구체적인 사고에서 "모두 ... 모두 ...", "만약 ... 그럼 ..." 이런 사고방식을 적용해야 합니다.
각 분야의 구체적 사고는 모두 적용되어야 하는 * * * 동사유 요소, 즉 구체적 사고의 형식, 즉 사고의 형태다. 각 분야의 구체적 사고와 관련된 특수한 대상은 구체적 사고의 내용, 즉 사고의 내용이다.