Let L be some classical languagee a

Let L be some classical languagee and let ⊢ be an appropriate classical consequence relation.
If Γ is a set of sentences in L, Γ⊢ denotes the closure of Γ under
⊢.
A covering of Γ is a set {Γi| i ∈ I} of classical consistent sets of sentences
such that Γ = S
i∈I Γi
. If C = {Γi
| i ∈ I} is a covering of Γ, a permeability
relation ρ on C is a map from I × I to sets of sentences of L. If i0 ∈ I, hC, ρ, i0i
is called a C & P structure on Γ.
If P = hC, ρ, i0i is a C & P structure on Γ and A is a sentence in the language
under consideration, then

ผลลัพธ์ (ไทย) 1:

ให้ L เป็นบาง languagee คลาสสิก และให้⊢จะมีความสัมพันธ์ทางสัจจะคลาสสิกที่เหมาะสม ถ้าΓเป็นชุดของประโยคใน L Γ⊢หมายถึงการปิดΓภายใต้⊢. ครอบคลุมของΓเป็นชุด { Γi| ฉัน∈ฉัน} ประโยคคลาสสิกชุดที่สอดคล้องกันที่Γ = Si∈I Γi. ถ้า C = {Γi| ฉัน∈ฉัน} เป็นครอบคลุมของΓ permeability ที่ความสัมพันธ์ใน C ρเท่าแผนที่จากผมซื้อเป็นชุดของประโยคของ L. ถ้า i0 ∈ฉัน hC ρ i0iจะเรียกว่าโครงสร้างที่ C และ P บนΓถ้า P = hC ρ i0i อยู่ C และ P Γและ A เป็นประโยคในภาษาภายใต้การพิจารณา แล้ว

ผลลัพธ์ (ไทย) 2:

ให้ L จะมีบาง languagee คลาสสิกและให้⊢จะเป็นความสัมพันธ์ผลคลาสสิกที่เหมาะสม.
ถ้าΓคือชุดของประโยคใน L
ที่Γ⊢หมายถึงปิดΓภายใต้⊢.
คลุมΓคือชุด {Γi | ฉัน∈ I}
ชุดสอดคล้องคลาสสิกของประโยคดังกล่าวที่Γ = S i∈IΓi ถ้า C = {Γi | ฉัน∈ I} เป็นครอบคลุมของΓการซึมผ่านสัมพันธ์ρในซีเป็นแผนที่จากI ×ฉันชุดของประโยคลิตรถ้า i0 ∈ I, HC, ρ, i0i เรียกว่าโครงสร้าง C & P ในΓ ถ้า P = HC, ρ, i0i เป็นโครงสร้าง C & P ในΓและเป็นประโยคในภาษาภายใต้การพิจารณาแล้ว