몇 가지 논리 적 추리 문제 에 도움 을 청 하 다. 다음 추리 가 효과 가 있 는 지 없 는 지 는 형식 을 쓰 고, 무효 가 되면 오 류 를 설명 한다. 1. 청년 이 아 닌 사람 이 있 기 때문에 사람 이 아 닌 청년 이 있다. 2. 오리 너 구 리 는 난생 이 고, 오리 너 구 리 는 브 루 동물 이 므 로 브 루 동물 은 모두 난생 이다. 3. 모든 법률 은 강제 성 이 있 기 때문에 강제 성 이 있 는 것 은 모두 법률 이다. 4. 이 삼 단 논 법 은 세 번 째 칸 이 고 이 삼 단 논 법 은 AAI 식 이 며 이 삼 단 논 법 은 세 번 째 AAI 식 이다. 5. 범 하거나 범 한 것 은 절도 죄 또는 강도 죄 이 고 해당 범 한 것 은 절도 죄 이 므 로 이 범 한 것 은 강도 죄 를 범 하지 않 았 다. 6. 날씨 가 너무 더 우 면 불편 하고, 날씨 가 너무 추 우 면 불편 하고, 날씨 가 너무 덥 거나 너무 춥 거나, 어쨌든 불편 하 다. 7. 가격 체 계 를 바 꾸 어야 기업 의 활력 을 강화 할 수 있다. 과거 에는 가격 체 계 를 바 꾸 지 않 았 기 때문에 과거 에는 기업 들 이 활력 이 없 었 다.

몇 가지 논리 적 추리 문제 에 도움 을 청 하 다. 다음 추리 가 효과 가 있 는 지 없 는 지 는 형식 을 쓰 고, 무효 가 되면 오 류 를 설명 한다. 1. 청년 이 아 닌 사람 이 있 기 때문에 사람 이 아 닌 청년 이 있다. 2. 오리 너 구 리 는 난생 이 고, 오리 너 구 리 는 브 루 동물 이 므 로 브 루 동물 은 모두 난생 이다. 3. 모든 법률 은 강제 성 이 있 기 때문에 강제 성 이 있 는 것 은 모두 법률 이다. 4. 이 삼 단 논 법 은 세 번 째 칸 이 고 이 삼 단 논 법 은 AAI 식 이 며 이 삼 단 논 법 은 세 번 째 AAI 식 이다. 5. 범 하거나 범 한 것 은 절도 죄 또는 강도 죄 이 고 해당 범 한 것 은 절도 죄 이 므 로 이 범 한 것 은 강도 죄 를 범 하지 않 았 다. 6. 날씨 가 너무 더 우 면 불편 하고, 날씨 가 너무 추 우 면 불편 하고, 날씨 가 너무 덥 거나 너무 춥 거나, 어쨌든 불편 하 다. 7. 가격 체 계 를 바 꾸 어야 기업 의 활력 을 강화 할 수 있다. 과거 에는 가격 체 계 를 바 꾸 지 않 았 기 때문에 과거 에는 기업 들 이 활력 이 없 었 다.

1. 무효, 형식 은 SOP → POS 이 고, 환 위법 '전제 에서 지연 되 지 않 는 항목 은 결론 에서 지연 되 지 않 는 다' 는 규칙 을 위반 한다.
2. 무효, 형식 은 MAP V → SAP 이 고 3 단 논 의 를 위반 하 며 '전제 에서 지연 되 지 않 는 항목 은 결론 에서 지연 되 지 않 는 다' 는 규칙 을 위반 하여 작은 항목 의 확장 오 류 를 범 한다.
3. 무효, 형식 은 SAP → PAS 이 고, 환 위법 "전제 에서 지연 되 지 않 는 항목 은 결론 에서 지연 되 지 않 는 다" 는 규칙 을 위반 합 니 다.
4. 효과 적 이 고 형식 은 P; Q → P. V. Q 이 며, 연 언 추리 조합 식 에 속한다.
5. 무효, 형식 은 (P 에서 87444 ℃) 브 러 브 → ~ Q, 선언 추 리 는 부정 확 한 추리 규칙 을 위반 하 는 것 은 무효 입 니 다.
6. 무효, 형식 은 (A → B) 브 러 브 (C → B) 브 (A * 8744) → B, 이 난 추리 단순 구성 식, 형식 은 효과 적 이지 만, 그 선언 전 제 는 여러 가지 가능 한 상황 을 다 하지 않 고 결론 을 내 릴 수 밖 에 없다.
7. 유효, 형식: (A ← B) 브 ~ A → ~ B, 필요 조건 가설 추리 부정 전건 식, 추리 규칙 에 부합.
(설명: 상기 공식 중의 부호 인 '~' 는 부정 부 호 를 나타 낸다)