直言三段论：二维与三维图谱

作者：伊万·鲍里索维奇·库尔皮舍夫（Ivan B. Kurpishev）。KLT–SYL–DK v1.1。本图谱是俄文主文的简要配套材料，不是全文翻译。四个式均使用同一论域和共同的单射变换。

Русская мастер-статья / Russian master

Barbara · 全称包含

M包含于P，S包含于M，因此S包含于P。

Barbara · AAA–1 · 2DM ⊆ P ∧ S ⊆ M ⇒ S ⊆ PBarbara · AAA–1 · 2DM ⊆ P ∧ S ⊆ M ⇒ S ⊆ PΠ₀: S, M, PPMSΠ₁: h(S), h(M), h(P)h(P)h(M)h(S)hh(x,y) = ( x / (1+x/8), y / (1+x/8) )S = subject M = middle term P = predicateIvan B. Kurpishev · KLT–SYL–DK v1.1 · coordinate-defined model
二维：原集合与同一射影变换下的像。
Barbara · AAA–1 · 3DM ⊆ P ∧ S ⊆ M ⇒ S ⊆ PBarbara · AAA–1 · 3DM ⊆ P ∧ S ⊆ M ⇒ S ⊆ PΠ₀: z=4Π₁: z=8P̂M̂ŜV ∉ Ŝ ∪ M̂ ∪ P̂Â = { (t x, t y, 4t) : (x,y) ∈ A, 1 ≤ t ≤ 2 }Ivan B. Kurpishev · KLT–SYL–DK v1.1 · coordinate-defined model
三维：单射的截锥提升；共同顶点被排除。

Celarent · 不相交关系

M与P不相交，S包含于M，因此S与P不相交。

Celarent · EAE–1 · 2DM ∩ P = ∅ ∧ S ⊆ M ⇒ S ∩ P = ∅Celarent · EAE–1 · 2DM ∩ P = ∅ ∧ S ⊆ M ⇒ S ∩ P = ∅Π₀: S, M, PPMSΠ₁: h(S), h(M), h(P)h(P)h(M)h(S)hh(x,y) = ( x / (1+x/8), y / (1+x/8) )S = subject M = middle term P = predicateIvan B. Kurpishev · KLT–SYL–DK v1.1 · coordinate-defined model
二维：原集合与同一射影变换下的像。
Celarent · EAE–1 · 3DM ∩ P = ∅ ∧ S ⊆ M ⇒ S ∩ P = ∅Celarent · EAE–1 · 3DM ∩ P = ∅ ∧ S ⊆ M ⇒ S ∩ P = ∅Π₀: z=4Π₁: z=8P̂M̂ŜV ∉ Ŝ ∪ M̂ ∪ P̂Â = { (t x, t y, 4t) : (x,y) ∈ A, 1 ≤ t ≤ 2 }Ivan B. Kurpishev · KLT–SYL–DK v1.1 · coordinate-defined model
三维：单射的截锥提升；共同顶点被排除。

Darii · 肯定的存在见证

取x属于S与M的交集。由于M包含于P，同一个x也属于S与P的交集。

Darii · AII–1 · 2DM ⊆ P ∧ S ∩ M ≠ ∅ ⇒ S ∩ P ≠ ∅Darii · AII–1 · 2DM ⊆ P ∧ S ∩ M ≠ ∅ ⇒ S ∩ P ≠ ∅Π₀: S, M, PPMSxΠ₁: h(S), h(M), h(P)h(P)h(M)h(S)h(x)hh(x,y) = ( x / (1+x/8), y / (1+x/8) )S = subject M = middle term P = predicateIvan B. Kurpishev · KLT–SYL–DK v1.1 · coordinate-defined model
二维：原集合与同一射影变换下的像。
Darii · AII–1 · 3DM ⊆ P ∧ S ∩ M ≠ ∅ ⇒ S ∩ P ≠ ∅Darii · AII–1 · 3DM ⊆ P ∧ S ∩ M ≠ ∅ ⇒ S ∩ P ≠ ∅Π₀: z=4Π₁: z=8P̂M̂Ŝx₀x₁V ∉ Ŝ ∪ M̂ ∪ P̂Â = { (t x, t y, 4t) : (x,y) ∈ A, 1 ≤ t ≤ 2 }Ivan B. Kurpishev · KLT–SYL–DK v1.1 · coordinate-defined model
三维：单射的截锥提升；共同顶点被排除。

Ferio · 否定的存在见证

取x属于S与M的交集。由于M与P不相交，x属于S而不属于P。

Ferio · EIO–1 · 2DM ∩ P = ∅ ∧ S ∩ M ≠ ∅ ⇒ S ∖ P ≠ ∅Ferio · EIO–1 · 2DM ∩ P = ∅ ∧ S ∩ M ≠ ∅ ⇒ S ∖ P ≠ ∅Π₀: S, M, PPMSxΠ₁: h(S), h(M), h(P)h(P)h(M)h(S)h(x)hh(x,y) = ( x / (1+x/8), y / (1+x/8) )S = subject M = middle term P = predicateIvan B. Kurpishev · KLT–SYL–DK v1.1 · coordinate-defined model
二维：原集合与同一射影变换下的像。
Ferio · EIO–1 · 3DM ∩ P = ∅ ∧ S ∩ M ≠ ∅ ⇒ S ∖ P ≠ ∅Ferio · EIO–1 · 3DM ∩ P = ∅ ∧ S ∩ M ≠ ∅ ⇒ S ∖ P ≠ ∅Π₀: z=4Π₁: z=8P̂M̂Ŝx₀x₁V ∉ Ŝ ∪ M̂ ∪ P̂Â = { (t x, t y, 4t) : (x,y) ∈ A, 1 ≤ t ≤ 2 }Ivan B. Kurpishev · KLT–SYL–DK v1.1 · coordinate-defined model
三维：单射的截锥提升；共同顶点被排除。

Desargues–Kurpishev

德萨格–库尔皮舍夫图是一个明确选定的相容模型。变换为H=I+(1/12)vℓᵀ，所选调和四元组为(−1,1;1/3,3)。从两个二次曲线构造典范三角形以及自动调和性仍为开放问题。几何逆映射不能反转逻辑蕴涵。SCIENCE=ABSTAIN；truth_layer_promotion=0；EXT_RUN=NOT_RUN。

Desargues–Kurpishev · 2D calibrationTwo conics + explicit homology + an independent harmonic checkDesargues–Kurpishev · 2D calibrationTwo conics + explicit homology + an independent harmonic checkΦ₁, Φ₂; Oᵢ = [Qᵢ⁻¹p]pℓ = O₁O₂O₁O₂ABCDgA=−1; B=1/3; C=1; Dg=3cr(A,C;B,Dg) = −1p: y=0; ℓ: x+3y−3=0Pⱼ′ = H PⱼP1P1′P2P2′P3P3′VX₁₂X₁₃X₂₃H = I₃ + (1/12) v ℓᵀv=(0,−2,1)ᵀ; det H=1/4dDes = ℓ is verified for this chosen H; no canonical conic-to-triangle map is claimed.Dg is a geometric point. The evidence foundation D_evidence is a separate typed record.Ivan B. Kurpishev · KLT–SYL–DK v1.1 · coordinate-defined model
H=I₃+(1/12)vℓᵀ; det H=1/4; cr(−1,1;1/3,3)=−1.
Desargues–Kurpishev · 3D section modelCone surfaces → conic sections in Π; poles and trace are computed in ΠDesargues–Kurpishev · 3D section modelCone surfaces → conic sections in Π; poles and trace are computed in ΠV1Φ1V2Φ2O₁O₂DgΠ: z=0p: y=0 in ΠDg = O₁O₂ ∩ pThe cone vertices V₁,V₂ are geometric auxiliaries, not logical witnesses.The two-circle polar model uses a chosen support line p, not the Euclidean line at infinity.Ivan B. Kurpishev · KLT–SYL–DK v1.1 · coordinate-defined model
Π: z=0; Dg=O₁O₂∩p.