Исходная статьяPDF (RU)RUENZH

ЛОГИКА КУРПИШЕВА 2

Darii · 2D / 3D

KLT-SYL-DK v1.1: Полная статья · Общий транспорт · Источники и проверки

2.3. Darii: Перенос свидетеля включения

Все M суть P. Некоторые S суть M. Следовательно, некоторые 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
2D: слева исходные классы, справа их образы при одной общей проективности h.
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
3D: сечения z=4 и z=8; области соединены образующими, вершина исключена.

Красная точка x=(−1/5,0) принадлежит S∩M. Из M⊆P следует x∈S∩P. В 2D переносится та же точка h(x); в 3D — отрезок её образующей. Заключение не требует, чтобы весь S лежал в P.

Схемы SVG и PNG

2D / 3DSVGPNG
Darii 2DSVGPNG
Darii 3DSVGPNG
Научные статусы выпуска v1.1 сохранены. SCIENCE=ABSTAIN; truth_layer_promotion=0; EXT_RUN=NOT_RUN.