data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒¬P
∃S⇒M
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

type: standard

figure: I

mood: EIO

premises: ∀M⇒¬P ∃S⇒M

conclusion: ∃S⇒¬P


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M(E)P
S()M
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

type: fill

template:
M(E)P
S()M
S()P


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒M
∀M⇒¬S
∴ ∀S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

figure: IV

mood: AEE

premises: ∀P⇒M ∀M⇒¬S

conclusion: ∀S⇒¬P


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
S()M
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

mood: AAA

template:
M()P
S()M
S()P


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∃S⇒M
∴ ∃S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

mood: AII

premises: ∀M⇒P ∃S⇒M

conclusion: ∃S⇒P


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∀S⇒M
∴ ∀S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

premises: ∀M⇒P ∀S⇒M

conclusion: ∀S⇒P


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒¬M
∀S⇒M
∴ ∀S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

figure: II

mood: EAE

premises: ∀P⇒¬M ∀S⇒M


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M(O)P
M()S
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

figure: III

mood: OAO

template:
M(O)P
M()S
S()P

visible_moods: O O


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒¬P
∃M⇒S
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

premises: ∀M⇒¬P ∃M⇒S


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∀S⇒M
∴ ∀S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
P(A)M
M()S
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

template:
P(A)M
M()S
S()P


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∃M⇒P
∀M⇒S
∴ ∃S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

mood: IAI

premises: ∃M⇒P ∀M⇒S


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∀S⇒M
∴ ∀S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
M()S
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

template:
M()P
M()S
S()P


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒M
∃S⇒¬M
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

mood: AOO

premises: ∀P⇒M ∃S⇒¬M


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒¬M
∃M⇒S
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

premises: ∀P⇒¬M ∃M⇒S


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒¬M
∀S⇒M
∴ ∀S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∀S⇒M
∴ ∀S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒M
∃S⇒¬M
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
M()S
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
P(A)M
M(E)S
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

template:
P(A)M
M(E)S
S()P

visible_moods: A E E


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
M()S
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M(A)P
M()S
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

template:
M(A)P
M()S
S()P


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒M
∃S⇒¬M
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
P(E)M
S(I)M
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

template:
P(E)M
S(I)M
S()P

visible_moods: E I


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
M(I)S
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

template:
M()P
M(I)S
S()P

visible_moods: I I


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∀S⇒M
∴ ∀S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
S()M
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒¬P
∃S⇒M
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒¬P
∀S⇒M
∴ ∀S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

premises: ∀M⇒¬P ∀S⇒M


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒¬P
∃M⇒S
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∀S⇒M
∴ ∀S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒M
∀S⇒¬M
∴ ∀S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

premises: ∀P⇒M ∀S⇒¬M


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒¬M
∃S⇒M
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

premises: ∀P⇒¬M ∃S⇒M


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒M
∃S⇒¬M
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∀S⇒M
∴ ∀S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒¬P
∃S⇒M
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒M
∀S⇒¬M
∴ ∀S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M(E)P
S()M
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

visible_moods: E E


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
M()S
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∃M⇒S
∴ ∃S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]

premises: ∀M⇒P ∃M⇒S


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∀S⇒M
∴ ∀S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
S(I)M
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

template:
M()P
S(I)M
S()P


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒¬M
∃M⇒S
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒¬P
∃S⇒M
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
P(E)M
S(I)M
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∃M⇒S
∴ ∃S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∀S⇒M
∴ ∀S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
M()S
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∃M⇒P
∀M⇒S
∴ ∃S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
M()S
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
S(I)M
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒¬P
∃M⇒S
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
S()M
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∃M⇒P
∀M⇒S
∴ ∃S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
P(A)M
S()M
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

template:
P(A)M
S()M
S()P


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒¬P
∃M⇒S
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒¬M
∃M⇒S
∴ ∃S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M()P
M()S
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒¬P
∀S⇒M
∴ ∀S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀P⇒M
∀S⇒¬M
∴ ∀S⇒¬P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∀S⇒M
∴ ∀S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
给定命题：
∀M⇒P
∃S⇒M
∴ ∃S⇒P

请判断对应的三段论图形和式
答案格式：[[图形;式]]


data_source: KorLogicFigureOfTheSyllogism

prompt:
三段论规则：
1. 图形结构：
   I: M-P, S-M → S-P
   II: P-M, S-M → S-P
   III: M-P, M-S → S-P
   IV: P-M, M-S → S-P

2. 有效式：
   I: AAA, EAE, AII, EIO
   II: AEE, EAE, EIO, AOO
   III: AII, EIO, IAI, OAO
   IV: AEE, EIO, IAI

3. 式字母含义：
   A: 全称肯定 ∀x⇒y
   E: 全称否定 ∀x⇒¬y
   I: 特称肯定 ∃x⇒y
   O: 特称否定 ∃x⇒¬y

请根据以下内容判断三段论的图形和式，答案格式：[[图形;式]]（如[[I;AAA]]）
补全三段论结构：
M(A)P
S(I)M
S()P

根据结构推断完整的图形和式
答案格式：[[图形;式]]

template:
M(A)P
S(I)M
S()P

visible_moods: A I I