JURNAL NASIONAL

METODE PENELITIAN
Penelitian tindakan ini menggunakan model Ebbut. Model ini terdiri atas tiga
tindakan, meliputi ide awal dikembangkan menjadi langkah tindakan pertama, kemudian
tindakan pertama tersebut dimonitoring implementasi pengaruhnya terhadap subjek yang
diteliti. Penelitian ini dilakukan pada mata kuliah bahasa Indonesia, di Unit Pelaksana Teknis
Mata Kuliah Umum Universitas Negeri Jakarta (UPT MKU UNJ) dari bulan Oktober hingga
Novemebr 2014. Data diperoleh dari mahasiswa Jurusan Biologi Fakultas FPMIPA yang
sedang mengikuti mata kuliah umum Bahasa Indonesia dengan jumlah 35 orang melalui
observasi. Tes kemampuan menulis paragraf setiap siklus dilakukan sebanyak dua pertemuan.
Setiap siklus mengikuti petunjuk dan sistematika menulis paragraf dengan model logika
proposisional dan logika predikat dari lembaran instrumen. Selain itu, data diperoleh dari
lembaran pengamatan dalam pengajaran dosen. Kemudian langkah-langkah menulis paragraf,
diukur validitasnya dengan uji pakar terhadap instrumen tersebut. Langkah-langkah yang ada
dalam proses menulis paragraf dengan model logika proposisional dan logika predikat harus
tersistematis, mahasiswa melakukan proses pertama dengan urutan penalaran sinonim,
antonim, kata umum, dan kata khusus.
Proses kedua, dengan menggunakan penalaran definisi, klasifikasi, sebab-akibat,
contoh, analogi, dan generalisasi. Proses ketiga dengan penalaran deskripsi, eksposisi,
persuasi, argumentasi dan narasi. Berdasarkan uji pakar, diperoleh data bahwa dalam proses
pertama urutan penalaran sinonim tidak harus ditulis pada kalimat pertama, tetapi dapat
ditulis pada kalimat kedua, ketiga, keempat, ataupun kelima. Selanjutnya untuk proses kedua,
urutan penalaran sebab-akibat ditempatkan pada urutan analogi begitupun sebaliknya.
Pengolahan data dianalisis menggunakan analisis data kualitatif dan analisis data kuantitatif,
dari hasil tulisan mahasiswa yang berupa gabungan beberapa paragraf. Data kuantitatif
diperoleh melalui tahapan-tahapan pengumpulan hasil catatan lapangan, hasil pengisian
angket dari kolabolator dan uji pakar, klasifikasi data, deskripsi tulisan.
Berikutnya analisis data kuantitatif digunakan untuk membandingkan kemampuan
mahasiswa sebelum dan sesudah siklus tindakan berlangsung. Teknis analisis data yang
digunakan adalah analisis uji t untuk menguji keberartian perbedaan yang ada antara siklus 1,
siklus 2, dan siklus 3. Pembahasan secara kualitatif, argumen-argumen fakta pada tulisan
mahasiswa yaitu dengan memetakan argumen tersebut berdasarkan fungsi sintaksis,
kemudian setelah itu dikelompokkan berdasarkan fungsi semantiknya. Adapun fungsi
*sintaksis memetakan konsep logika proposisional berdasarkan kategori fungsi sintaksis pada
tulisan pola 1 dengan memetakan pernyataan fakta berdasarkan kata sinonim, antonim, kata
umum, dan kata khusus. Sedangkan fungsi sintaksis pada tulisan pola 2 dengan memetakan
pernyataan fakta berdasarkan konsep definisi, klasifikasi, sebab-akibat, contoh, analogi dan
genarlisasi. Fungsi sintaksis pada tulisan pola 3 dengan memetakan pernyataan fakta
berdasarkan konsep deskripsi, eksposisi,persuasi, argumentasi, dan narasi. Sedangkan fungsi
semantik memetakan konsep logika predikat dengan menjumlahkan argumen fakta yang
dihasilkan dari pengembangan predikat.

JURNAL INTERNASIONAL
METODE PENELITIAN
TEORI INTERPOLASI DALAM PREDIKAT KALKULUS
131
diperoleh oleh A. Grzegorczyk, A. Mostowski dan C. Ryll-Nardzewski, dan
oleh R. Vaught.
2. Konsep dasar. 
Sebuah L bahasa ditentukan oleh memerintahkan
quadruple, V, W, R, , ρ, di mana V, W, R adalah himpunan terpisah, V tak terbatas, dan
ρ adalah fungsi dari W ∪ R ke bilangan asli. Unsur-unsur dari V akan disebut variabel, orang-
orang dari simbol operasi W, dan orang-orang dari R hubungan simbol untuk w di W, r di R,
ρ (w) adalah peringkat dari w dan ρ (r) yang rank dari r. The simbol logis yang 0,1, ~, ∧ ∨, ∀,
∃. Ekspresi dari L akan terdiri dari simbol-simbol ini bersama-sama dengan tanda kurung dan
koma. Suatu istilah adalah, secara rekursif, variabel apa saja, dan ekspresi apa pun w (tι, ... ,
tρ (w)) di mana w adalah simbol operasi dan tl9 , ίp(r) t lf , t p ( »adalah istilah. Sebuah rumus
atom adalah ekspresi r (t lf • β , £ P ( r )) dengan r adalah suatu relasi simbol dan t l9, ί p (r)
adalah istilah. Suatu rumus , secara rekursif, adalah atom rumus, dan ungkapan apa pun 0,
1, ** -> F, (F Λ G), (F V G), yxF, jxF di mana F dan G adalah rumus dan x adalah
variabel. Secara formal, kami mendefinisikan L ke menjadi himpunan simbol, istilah, dan
rumusnya. Kami memperkenalkan singkatan F Z) G untuk (^ FvG), ΛΓ ^ f ° rίΊΛ Λfn dengan
konvensi A ^ = 1, dan V ΓΉ f atau F  x V V F n dengan VK - 0, dan tulis y # t x n untuk y /
x x γa; w . Sebuah matriks adalah untuk- mula yang tidak mengandung y atau 3. Matriks
normal adalah matriks dari bentuk Vΐ-i A * ΐ - ^ u di mana masing-masing F  tJ adalah A o
atau ^ A ijy untuk A υ sebuah rumus atom. Sebuah prenex Formula adalah salah satu
bentuk Q L x x Q k x q M dimana masing-masing Q t adalah y atau 3, masing-masing x i
adalah variabel, dan ilί adalah matriks Rumus normal jika matriks M normal. Terjadinya
suatu variasi ble x dalam rumus F adalah / rββ dalam rumus F jika bukan merupakan bagian
dari a subformula dari bentuk yfxG atau ^ xG. Sebuah kalimat adalah formula tanpa
kemunculan variabel gratis. Dengan mudah ditunjukkan oleh induksi bahwa jika G adalah
bagian dari suatu formula F, maka ada bagian terkecil dari F yang merupakan rumus dan
mengandung G. Ini mengikuti bahwa ada rantai maksimal unik formula H u , H n = F,
masing-masing bagian yang tepat dari yang berikutnya, dan semua yang mengandung G.
Bagian G adalah positif dalam JP jika jumlah H i +1 - ~ Hai bahkan, dan negatif jika itu
aneh. Dalam apa yang berikut, G akan selalu menjadi kejadian suatu relasi simbol dalam F.
Sebuah interpretasi dari L bahasa ditentukan oleh himpunan A dan fungsi μ, didefinisikan
pada V \ JW [jR, sedemikian rupa sehingga μxe A untuk xe V, ^ eA i P (w) untuk we W, dan /
* r 6 2 lP (r) untuk r e i2. Kami menganggap 2 sebagai dua elemen Aljabar Boolean dengan
elemen 0, 1 dan operasi ~, Λ, V, jadi itu / ^ adalah fungsi dengan nilai (μr) (a l9 , α p (r) )
sama dengan 0 atau 1 tetapi dalam praktiknya kami menikmati ambiguitas yang tidak
berbahaya dari memperlakukan μw sebagai bagian dari A Kw) +1.
132
ROGER C. LYNDON
dan μr dari A p (? 0 , dan dengan demikian menggunakan notasi seperti μw g μw ', μrξΞkμr'.
Mengesampingkan kasus sepele bahwa L tidak mengandung simbol relasi peringkat
positif, μ jelas menentukan domain A. Fungsi μ menentukan ekstensi unik yang memetakan
semua istilah L menjadi A, dengan definisi rekursif
μ [w (t, , ί p (u0 )] = (μw) (μt,, μt pM ).
Perpanjangan lebih lanjut memetakan semua rumus L ke 2 ditentukan oleh
kondisi.
( Saya )
Λθ = 0, μl == 1, / i (~ F) - - μF, μ (FAG) = μFΛμG,
μ (F V G) = μFV μG , dan (2 ) / <V ^) = 1 jika dan hanya jika JF = 1 untuk alii) seperti itu
bahwa () jika dl jika F 1 f μ (3xF) = 1 jika dan hanya jika AF = 1 untuk beberapa λz -
μz untuk semua «di V UWU R - {x}. Secara formal, kami mendefinisikan pretasi menjadi
fungsi μ yang diperluas dalam praktiknya kita akan mengatakan itu μ dan λ setuju kecuali
pada x ketika kita berarti bahwa μ dan λ setuju untuk semua z dalam V U TF U i? -
{Sebuah?}.
Sebuah Model L adalah pembatasan 21 dari interpretasi μ ke simbol operasi dan relasi L.
Model 21 dapat dianggap sebagai sebuah sistem relasional Ji terdiri dari
himpunan A, domainnya, bersama dengan seperangkat operasi% w diindeks oleh simbol
operasi w dari L, dan a set relasi 2ίr diindeks oleh simbol relasi r dari L. Jika 21 adalah
pembatasan μ, kita sebut μ interpretasi dalam model 21. Jika μF = l f kita mengatakan
bahwa F berlaku untuk interpretasi μ. Jelas μF hanya bergantung pada domain A dari μ, nilai-
nilai μ pada operasi dan relasi simbol yang terjadi dalam F, dan nilai μ pada variabel yang
terjadi bebas dalam F. Secara khusus, jika S adalah sebuah kalimat, μS hanya bergantung
pada model 21 yang μ milik, dan jika μS = 1 kita katakan bahwa S berlaku di
model 21.
Jika Γ dan Δ adalah kumpulan rumus L, kita mengatakan bahwa Γ menyiratkan Δ dalam
L jika μΔ = {1} untuk semua interpretasi L sedemikian rupa sehingga μΓ = {1}. Ini
interpretasi terbukti independen dari L, asalkan hanya Γ dan Δ milik L kita katakan secara
sederhana bahwa Γ menyiratkan Δ, dan menulis Γ = φ J. Kami tulis μΓ = 1 untuk μΓ = {1},
dan gunakan notasi seperti Γ 1? Γ 2 = ^ F dengan makna yang jelas. Jika Γ = ^ Δ dan J =) Γ,
maka Γ dan J adalah βgwi- valent dan kami menulis Γ ^^ Δ.
Bahwa saya menyatakan bahwa JP adalah teo- rem. Satu set Γ disebut konsisten jika ada
interpretasi μ seperti bahwa μΓ = 1 dengan demikian Γ = φO menyatakan bahwa himpunan Γ
tidak konsisten.

TEORI INTERPOLASI DALAM PREDIKAT KALKULUS

133
3 * Proposisi pendahuluan. Himpunan Φ = Φ (L) dari semua rumus L merupakan, dalam arti
yang jelas, sistem aljabar dengan operasi 0, 1, ^, Λ, V sebenarnya itu adalah 'aljabar kata',
aljabar gratis tanpa aksioma. Relasi F <^ G adalah kongruensi pada Φ, dan hasil bagi
sistem Φ adalah aljabar Boolean, aljabar Lindenbaum dari L. Jika K adalah peta
kanonik Φ ke Φ, lalu setiap interpretasi μ dari L, kapan terbatas pada Φ, dapat difaktorkan
secara unik dalam bentuk μ - fttz di mana ft berada sebuah homomorfisme dari Φ ke 2.
Set Φ  o dari semua matriks dari L merupakan subalgebra dari Φ, dan gambarnya Φ o = / c
<P 0 adalah subalgebra dari Φ. Setiap homomorfisme θ dari Φ o ke 2 dapat diperpanjang ke
homomorfisme 0 'dari Φ ke 2 sehingga θ'κ adalah interpretasi. Untuk membuktikan ini, kami
membuat interpretasi khusus tion μ diinduksi oleh θ. Untuk domain A dari μ kita mengambil
set semua syarat L. Untuk variabel x, tentukan μ # - x. Untuk simbol operasi
w dan istilah ίj, , ί p (w) , kami mendefinisikan / w dengan menetapkan ke (μw) (t u ,
ί P ( W )) sebagai nilai, istilah w (t u ••, ί P <»). Untuk simbol relasi, r dan istilah
ίi> "> ίpθ) kami tentukan μr dengan menetapkan ke (μr) (t ly , £ p <») nilainya # / c [r (£ i,,
ί pCr ))] dalam 2. Berdasarkan definisi terakhir, μF = 0 / cF untuk semua
rumus atom F. Karena gambar ΛJP dari rumus atom F menghasilkan Φ o , dan fticF = 0 / cF
untuk atom F, maka ft = θ pada Φ Q dan μ adalah perpanjangan dari θ.
PROPOSISI 1. Jika Γ adalah seperangkat matriks, dan J ideal ganda dalam Aljabar Boolean
Φ Q dihasilkan oleh tcΓ, lalu Γ ^ 0 jika dan hanya ifOeJ. Bukti. Asumsikan 0 6 J. Lalu 0 =
ιcF  1 Λ NtcF n untuk beberapa F l9 m , F n di Γ. Jika μ adalah interpretasi sedemikian rupa
sehingga μΓ = l, maka masing-masing ~ μκFι = μFi = l, dimana 1 = ~ ftκ j \ F t = ft A & Ft -
P® - 0> a kontradiksi. Asumsikan 0 ψ J.
Lalu J Φ Φ  Q dan J g K untuk beberapa K ideal ganda maksimal dalam 0 O Jika θ adala peta
kanonik Φ Q ke 2 dengan kernel idealQ - K ideal maksimal komplementer dengan K ideal
ganda , maka ΘK g g W g fe = 1. Jika // adalah interpretasi khusus L yang diinduksi oleh
homomorfisme θ, kemudian μΓ - ftkΓ = ΘKΓ = 1, di mana Γ konsisten.
COROLLARY 1.1. Jika Γ adalah serangkaian matriks, maka Γ = φ 0 jika dan hanya jika
Γ 0  = ^ 0 untuk beberapa himpunan bagian terbatas Γ  Q
dari Γ.
Setiap peta σ dari rumus atom L, sebagai generator gratis Φ o , menjadi Φ o , meluas ke
endomorfisme Φ o  , yang pada gilirannya menginduksi a endomorfisma ψ dari Φ Q . Maka
jika Γ = $> 0 maka σΓ ^ 0. Setiap memetakan σ dari variabel L ke dalam istilah L meluas
dengan cara yang jelas ke peta istilah L ke dalam istilah L, maka dari rumus L ke dalam
formula L transformasi yang terjadi dengan cara ini adalah

134
ROGER C. LYNDON
disebut substitusi.
PROPOSISI 2.
Biarkan Γ menjadi set kalimat S dari bentuk yx L x n  M. di mana M adalah matriks, dan Γ f
himpunan semua rumus σ M di mana σ adalah a substitusi dan M adalah matriks dari
beberapa kalimat S dalam Γ. Kemudian Γ ==> 0 jika dan hanya jika Γ r => 0.
Bukti. Misalkan Γ ' konsisten. Kemudian λΓ f - λtzΓ ' = 1 untuk beberapa orang
interpretasi λ. Biarkan μ menjadi interpretasi khusus yang disebabkan oleh
homomorfisme λ dari Φ Q ke 2. Misalkan F = yx L x n M berada di Γ, dan v menjadi
sebuah interpretasi yang setuju dengan μ kecuali pada x [y •••, # „. Sejak nilai vx untuk
variabel x adalah istilah, kita dapat mendefinisikan substitusi dengan
pengaturan σx = ιx. Karena μx = x untuk semua variabel x, vM - μσM— IσM = 1.
Ini menetapkan bahwa μF - 1. Misalkan Γ 1 tidak konsisten. Lalu untuk semua
interpretasi μ ada beberapa F = yx L x n M dalam Γ dan beberapa subtitusi- tion σ
sedemikian rupa sehingga μσM = 0. Kemudian pengaturan ^ = μσx l9 i = 1, •••,
n mendefinisikan interpretasi λ yang setuju dengan μ kecuali pada x lf , x n  , dan seperti itu
λM = 0. Maka μF = 0.

COROLLARY 2.1. // "/ ^ adalah α s ^ ί o / kalimat universal, dari bentuk

F - \ fx i
x n  M, di mana M adalah matriks, maka Γ => 0 jika dan hanya jika Γ 0 ^ Q
untuk beberapa subset hingga I \ of Γ.
Sebuah kalimat praneks S dari bahasa L dapat dituliskan dalam formulir S = γα? N
X, mi 32 / x V # nl ..- XnmβVnM dimana w, m 1? ---, m n adalah bilangan asli, x pq dan
2 / r adalah variabel, dan M adalah sebuah matriks. The Skolem matriks dari £ adalah
hasil σM dari sub
stituting σy  r = s r  (x  ll9, , Sebuah? rmr ) dan σz = z untuk semua variabel lain z di sini
yang s  lf , s n adalah simbol operasi baru dan berbeda yang mungkin kami dukung berpose
unik terkait dengan pasangan yang terdiri dari S dan L. Skolem bentuk £ adalah kalimat γx n
x nm σM.  Bentuk Skolem milik bahasa L diperoleh dengan menyatukan simbol-simbol itu lt
*, s n hingga L.
LEMMA 3. Biarkan S menjadi kalimat dalam formulir S = \ fx u α? Imi 32 / χ x nl
x nmn 3vF
, dimana x pq dan y r adalah variabel yang berbeda dan F adalah rumus di mana semua
kemunculan variabel-variabel ini gratis. Biarkan F f hasil dari F oleh sub- stituting untuk
setiap tahun istilah σy r  yang tidak mengandung variabel selain # π> * "> χ rm. Biarkan S
'menjadi kalimat O = ^ fXii ' * * Xim.X-zi' * '% nm -F

TEORI INTERPOLASI DALAM PREDIKAT KALKULUS

135
Kemudian S f = φ & Bukti ' 0 . Kami melanjutkan dengan induksi. Untuk n - 0
pernyataannya sepele. Untuk n - 1 sudah cukup untuk mengamati bahwa jika μ adalah
interpretasi seperti itu
μF f = 1, lalu mendefinisikan interpretasi λ untuk setuju dengan μ kecuali pada y l9 dan
pengaturan λy 1  - μσy iy memberikan λF - μF } ', maka λF = 1. Untuk n > 1, bentuk JF "'dari
F dengan mengganti σ? / R untuk y r  , semua? / R kecuali y n , dan biarkan $" = \ fx n
••• α? nm jyF ". Maka case% = 1 berlaku untuk memberikan S f = ^ S ", dan
case% - 1 untuk menghasilkan S " => S.
PROPOSISI 4. Lei Γ 6β satu set kalimat praneks bahasa L, dan Γ 1 ', i% cm bahasa yang
diperluas L', ^ β sβί 0 / αM bentuk Skolem dari kalimat dalam Γ. Kemudian Γ memegang
model 21 L jika dan hanya jika Γ 'berlaku dalam beberapa ekstensi 2t ' dari% ke model L \
Bukti. Dengan induksi itu jelas sudah cukup untuk membangun conclusion dengan asumsi
bahwa Γ 1 hasil dari Γ dengan mengganti a satu kalimat £ dengan bentuk Skolem S '. Jika Γ
* memiliki ekstensi 3ί dari Sϊ ke L ', diikuti oleh Lemma 3 yang Γ berlaku di 21', dan,
karena Γ milik L, yang Γ pegang pada 91. Selebihnya, dengan induksi kedua cukup untuk
membuat kesimpulan untuk S = yx 19 , x m 3yF, S f = \ fx ± -x m  σF, F a formula, σx t  -
x i9 i = 1,, m, dan σy - s (x 19 , % M ), di mana s tidak bukan milik L dan U diperoleh
dengan berdampingan s ke L. Asumsikan sekarang bahwa Γ memegang di 21. Untuk
setiap a  l9
«, Α m dalam domain A dari 21, ada interpretasi μ dalam 2Ϊ sedemikian rupa sehingga μx, =
a  iy i - 1,, m. Karena μS = 1 9 maka μ (3yF) = 1, dan ada interpre- tasi agre yang setuju
dengan / ^ kecuali pada y sehingga λF - 1. Berdasarkan aksioma pilihan kita dapat
mendefinisikan fungsi / dari A m menjadi A dengan memilih untuk semua yang
sebuah  m interpretasi μ dan λ seperti di atas dan pengaturan f (a l9
, α w ) = ^ 2 /.
Perpanjang 2ί hingga 2ί ; dengan mendefinisikan 2I's = /. Jika μ f adalah interpretasi dalam 2ί
', lalu μ  f setuju dengan beberapa μ 9  λ seperti di atas pada variabel x l9 •• ,Sebuah? m .
Selain itu, μ'σy = / (^ 'a? J,, ^' a? OT ) = / (α ^, a m ) = ^ 2 /, dari mana ^ VF = ΛF = 1.
Maka / ^ 'S' 1 untuk semua interpretasi μ  r dalam 2Γ, dari mana
Γ memegang 2ΐ \
COROLLARY 4.1. // Γ adalah seperangkat kalimat prenex, maka Γ = φθ jika
dan hanya jika ΓΌ φ 0 untuk beberapa himpunan bagian terbatas Γ  Q dari Γ.
Setiap kalimat setara dengan kalimat sebelum kelahiran, dan, memang, a kalimat normal. Ini
diikuti oleh induksi dari berbagai koneksi langsung urutan definisi, yang ^ (FAG) <== Φ {~
F V ~ G) dan yx (FAG) ^> (yxFA yxG) adalah tipikal. Bahkan, mudah dilihat itu
5 CC Chang menunjukkan kepada saya celah dalam versi sebelumnya dari bukti ini.
136
ROGER C. LYNDON setiap kalimat S setara dengan kalimat normal S f
sedemikian rupa sehingga suatu simbol lation muncul secara positif (negatif) dalam S ' hanya
jika itu terjadi positif secara aktif (negatif) di S. Dalam pandangan ini, Konsekuensi 4.1
menghasilkan Teorema Kekompakan.
PROPOSISI 5. Jika Γ adalah kumpulan kalimat, maka Γ =) 0 jika dan hanya
jika ^n ^ Ofor beberapa himpunan bagian terbatas Γ Q dari Γ. 4. Teorema utama *
Biarkan S menjadi kalimat praneks, dari formulir Kalimat kedua S o akan dikatakan muncul
dari S dengan duplikasi jika (i) π  u , π adalah substitusi sedemikian rupa sehingga
semua π t x pq = x ιm , n t y r = y \, dimana x ιm dan y \ adalah variabel yang berbeda dan
(ii) S Q hasil dari π τ M Λ Λ π a  M dengan prefixing quantifiers γα? Jg dan ^ yr dalam
beberapa urutan sedemikian rupa sehingga, untuk p <^ r, γa £ β mendahului 32 / *
PROPOSISI 6. Jika S Q muncul dari S dengan duplikasi, maka S = ^> S o .
Bukti. Biarkan £ memiliki matriks Skolem σM, dalam bahasa U, di mana σx m = x  pq
dan σy  r  - s r  (x  n  x rm ).
Dengan Proposisi 4, jika & memegang model 31, maka Skolem-nya membentuk S r
memegang beberapa ekstensi SI 'dari 3ί ke U. Jika μ adalah interpretasi dari L r
di SI ', maka setiap substitusi akan sikap σM berlaku di μ khususnya, semua π ^ M bertahan
di μ, di mana A π t σM berlaku di μ. Tapi A πi <WKF hasil dari A π M dengan mengganti
s r (xu, ••, 4m) untuk setiap y \, dari mana, oleh Lemma 3, Jadi berlaku di 31 ', dan oleh
karena itu dalam SI.
Untuk S seperti sebelumnya, kalimat kedua S o akan dikatakan muncul dari S
oleh spesialisasi jika (iii) θ adalah substitusi sedemikian rupa sehingga θy r  =
y r , sementara masing-masing θx pq adalah sebuah istilah dalam variabel baru tertentu u  x
,  a
bersama dengan y  r untuk r <p dan (iv) S o hasil dari ΘM dengan prefixing quantifiers yu h
dan 3 ^ in memesan sedemikian rupa sehingga 7u 7 i mendahului 3 ^ jika u Λ muncul
di θx pq untuk p ^ r, dan 3? / s mendahului 3 ^ jika? / s terjadi di θx pq
untuk p rg r.
PROPOSISI 7. IΓS 0
muncul dari Sby spesialisasi, thens ^> S Q . Bukti.  Biarkan S memiliki matriks
Skolem σM di U seperti sebelumnya. Tentukan a substitusi ^ dengan mengatur pz = 2; untuk
semua variabel 2 selain 2 / r> dan, dengan rekursi pada urutan kuantifikasi y r
di S o  , mendefinisikan py r - pθo y r = s r (pθx n , , pθx rπlr  ). Karena semua 2 / β yang
terjadi pada ^ σ? / R terjadi di beberapa & £ p (i untuk p ^ r, semua y s seperti itumendahului
2 / r i n S o , dan rekursi

TEORI INTERPOLASI DALAM PREDIKAT KALKULUS

137
jika sah. Karena θy r - y r , pθy r ~ py r = pθσy r dengan definisi di atas,
sedangkan untuk semua variabel lain z, σz ~ z dan lagi pθz - pθσz. Seharusnya
sekarang S memegang model 21 L, dan karenanya, dengan Proposisi 4, itu bentuk Skolem S  f
dari S memegang dalam perpanjangan 2Γ dari 2ί untuk U. Kemudian, untuk setiap
interpretasi μ dalam 2Γ, semua instance dari σM ditahan, dan, khususnya,
pOσM bertahan. Karena pθσ = pθ, pOσM = pθM.  Sekarang / jika hasil dari ΘM dengan
substitusi / ?, dan pu h  - u  h , sedangkan ρy r hanya berisi itu u lh yang terjadi di pβx pq
untuk p <. r dengan induksi, menggunakan (iii), ini adalah di antara kamu h yang terjadi
di θx pq untuk p ^ r, dan karenanya antara u h yang mendahului y r di S o . Karena itu,
Lemma 3 berlaku untuk menetapkan bahwa S Q berlaku 2X ; dan karenanya dalam 21.
Biarkan S  ι  , S 2 menjadi kalimat sebelum lahir dari formulir, untuk 5 = 1,2, dengan matriks
Skolem σM s dalam bahasa L ', di mana σ ^ g = x  8pq , σyl = s? (ίcϊi,\ a # m . r ). Lalu S ι
dan S 2 akan disebut tidak konsisten secara proposisi jika ada substitusi ^ di U yang satu-ke-
satu di semua foric atom mulas masing-masing σM 8
SUCH bahwa ησM 1 , ησM * = $> 0.
PROPOSISI 8. Jika S 1 , S * secara proporsional tidak konsisten, maka S ι S 2 ==> 0.
Bukti. Misalkan S \ S 2 konsisten, maka keduanya diadakan di beberapa
model 2ΐ dari L. Menggunakan Proposisi 4, semua instance dari σM 1 dan σM 2 akan tahan
untuk semua interpretasi dalam ekstensi tertentu 2ί dari 2ί ke model
ZΛ Lalu ησM x dan ^ σ-Λί 2 akan berlaku untuk semua μ tersebut, dan μθ = 1, sebuah con
tradisi.
Dalam proposisi 6, 7 dan 8 kami telah berusaha untuk mengisolasi kepala
ide-ide yang mendasari teorema utama bukti dari teorema ini dapat
sekarang dapat dicapai dengan tahapan yang lebih mudah dan lebih alami, meskipun pada
biaya sejumlah kecil pengulangan.
TEORI UTAMA.
Biarkan S 1 dan S '  2 menjadi kalimat praneks sehingga S ι , S 2 => 0.
Lalu ada kalimat prenex T \ T \ U ι dan U 2  sedemikian rupa sehingga (1) T 1 muncul
dari S  ι  , dan T λ dari S 2 , dengan duplikasi) (2) U ι muncul dari T ι , dan U 2
dari T \ oleh spesialisasi dan (3) U ι dan U  2
secara proporsional tidak gigih.
Bukti. Biarkan S \ S \ M \ M \ σ dan L, Ώ seperti di atas. (Jelas ada
tidak ada kerugian umum dalam mengambil nilai-nilai umum n dan m r}dan a substitusi
umum <r, untuk S ι dan S \) Dengan Proposisi 4, S \ S 2 = ^> 0 im- mengatakan bahwa
bentuk Skolem mereka tidak konsisten. Dengan Proposisi 2, the set semua instance
dari σM 1 dan σM 2 konsisten. Oleh Corollary 1.1 beberapa contoh yang terbatas ini tidak
konsisten. Karenanya ada substitusi η l9 ---, η a dalam bahasa U sedemikian rupa

138
ROGER C. LYNDON
η λ σM \ , rj a σM \ η λ σM \ , η a σM % = φ 0.
Tentukan pergantian π l9 •••, π a sedemikian rupa sehingga semua π t aή, q - afy dan
π  t  y * = $  t  , % dan yf adalah variabel baru dan berbeda. Tentukan σ r
seperti yang σ f x \\ = x% dan σ '^ / ί * = s * (x \ l, , .τ δ 4 r ) dengan demikian σ'πtM * = τr,
σilί δ untuk semua π *. Tentukan 7; sedemikian rupa sehingga r ^ = ^ q
lalu ησ'πjή 8 = ηπ  % σM ι = η ^ μM  1 . Menetapkan
M δ = A π * Λf kalau begitu? Σ-'M δ = A π t σM \ dan yσ'ΛfJ, 7σ'Af | S = φO.
Biarkan Sa menjadi kalimat yang diperoleh dari Mo dengan awalan quantifiers yaffq dan ^
yf dalam urutan sedemikian rupa sehingga, jika z dan z ' adalah dua dari variasi ini
bles dan istilah ησ'z lebih pendek dari istilah ησ'z ', maka quanti- fikasi dari z mendahului
yang dari z f . Jika p <J r, istilah ^ σ-'ar ^ = ηx% adalah a bagian yang tepat dari
istilah τ t σ f φ = s * (^ {, , ^ <L r ), dari mana kamu ^ mendahului 32 /? * Dalam S «. Jadi,
Sū muncul dari S δ dengan duplikasi. Biarkan S \ memiliki Skolem matriks σ Q M Q
di mana σ Q  x% = ^ dan σ o 2 / r = s ^ i, x%, •••)> argumen mulai, dalam urutan terjadinya di
Jadi, atas semua ^ yang mendahului y r dalam S δ . Seseorang memiliki ησ'x 8 j q = ^ σ 0 ^,
tetapi5? Σ'ί / r = s δ (^ j,., ^ F m?. ) Sedangkan istilah ησ ύ yf = s «* (..., 3 ^, •) dimulai
dengan simbol operasi yang berbeda dan berisi argumen tambahan. Untuk mewujudkannya,
tentukan transformasi χ dengan syarat sebagai berikut:
(1) χz - z untuk variabel z
(2) ^ σ - '^ = χησ.yf
(3) untuk istilah apa pun t = ^ (ί !, , ί P ( W )) bukan dari bentuk rjσ'yf, χt = ^ (χίi, ••, χ £ p
(w o)
Ayat (2) jika sah, dengan induksi pada panjang ησ'y r .
Untuk χησ Q yf - sf ( , χη %%, •••) mengandung χησ f yl k hanya bagi mereka xησ 'y ^ yang
terjadi pada beberapa # ^ g untuk p ^ r, dan diikuti oleh induksi untuk itu semua
ini <p. Biarkan L  d menjadi bahasa yang diperoleh dari L oleh adjoin- ing the symbol sfΛ
Meskipun secara umum χ maupun χη secara umum tidak ketika diterapkan pada ketentuan
L o , yang tidak mengandung simbol s  8r , klausa (2) tidak pernah dijalankan sebagai akibat
dari pembatasan% dari χη to L ύ adalah substitusi. Sejak ησ'M \, r  f  σ f Ml = Φ 0, dan 7
menginduksi transformasi pada istilah, itu mengikuti bahwa χησ'Ml, χησ'Ml = Φ 0.
Sekarang tησ'yf - χησ Q yf menurut definisi sedangkan σ'x% - x% = σ o x ^ menyiratkan
bahwa χ ^ σ'a ^ J = Z ^ σ o ^ δ J; mengikuti itu fS = γj] σ Q Ml = η Q σ Q Ml, yang terakhir
sejak σ Q Ml milik L u . Karenanya, Menjatuhkan subskrip pada Sjj, kita sekarang memiliki
situasi di mulai dari bukti, tetapi dengan a = 1, yaitu dengan satu substitu- tion η sedemikian
rupa sehingga ^ σilί 1 , ^ M 2 =) 0. Prom set semua persyaratan yang terjadi
di 7jσM  B memperoleh set J3 δ dengan menghapus secara berurutan istilah apa pun yang ex-
pressible, dengan menggunakan simbol operasi L, dalam hal sisanya. Karena
setiap ησy \ = s \ (y} x \  λ , ••, ^ L.) Di mana s \ bukan milik L, kami

TEORI INTERPOLASI DALAM PREDIKAT KALKULUS

139
dapat menganggap bahwa semua ησyl milik B \
Biarkan δj, •••, & £ menjadi jawabannya elemen utama dari B δ . Kemudian untuk
setiap x \ q
(yang terjadi pada M 8 ) rμ ^ adalah dapat diekspresikan dalam hal ησyl dan b \. Lebih
tepatnya, jika u \  y , kamu adalah
variabel baru dan berbeda, dan ra substitusi sedemikian rupa sehingga τyl = yσyl, riι \ = δ
*. maka ada dalam La istilah θx \  q dalam variabel y% dan δi
sehingga τθx \ q = ^ Q . Kami memperluas 0 ke substitusi dengan menetapkan θz = z untuk
semua 2 selain x ιpq , x 2m . Biarkan S 8 menjadi kalimat yang diperoleh dari 8M 8 dengan
mengawali kuanti- fiers y / ul dan 32 / ^ dalam urutan sedemikian rupa sehingga jika z dan z f
dua di antaranya variabel, dan τz lebih pendek
dari τz \ maka z mendahului z  r dalam S \. Untuk memverifikasi yang muncul dari S δ dengan
spesialisasi, kami mengamati bahwa, untuk (iii), jika y terjadi dalam θx m maka τyl -
ησyl adalah bagian yang tepat dari τθx \ q
= r t χ \  q\ dari mana r <v dan, uintuk (iv), jika z adalah y \ atau u \ dan 2; terjadi
dalam βx \ q
untuk p ^ r, maka τz adalah bagian dari τjχ q yang pada gilirannya merupakan bagian yang
tepat dari r t σy \ - τy \, dimana z mendahului yl dalam SI.
Biarkan Jadi punya matriks Skolem σ Q ΘM  8 , di mana σ & m = z untuk semua variabel
z selain dari yl dan σ o ί / ? δ = sJr (, ^ L •••)> argumen berkisar untuk semua 24 yang
mendahului y \ di * S§. Dari ^ σikί 1 , ησM 1 = φ 0 itu kembali
induk untuk membangun ^ 0 > satu-ke-satu pada rumus atom σ ^ βM 1 , σ 0  ΘM '\
sedemikian rupa sehingga η 0 σ o  ΘM 1y η Q  σ o ΘM ' z  = ^ O. Untuk ini tentukan
transformasi χ aktif
ketentuan sebagai berikut:
(1) χz - z untuk variabel z
(2) χθτσyl = χτσ o yl
(3) untuk istilah apa pun t = w (t u
, ί pCw0 bukan dari bentuk r # σ? / δ , ^ ί = w (lt l9 ---, χt PW ).
Seperti dalam situasi sebelumnya, definisi ini sah, dan batasannya η Q dari χτ ke bahasa L d
diperoleh dari L dengan menempelkan simbol\ Pak adalah pengganti. Seperti sebelumnya kita
simpulkan dari yjσM \ ησM '  1 => 0 itu % τθσM \ χτOσM * => 0, Sekarang dan
Oleh karena itu θτθσM 8 = y  Q σ Q ΘM \ dari mana Tetap menunjukkan bahwa% σ- 0 = χrσ
0 adalah satu-ke-satu dengan syarat setiap # M δ . Pertama-tama kami tunjukkan bahwa r # σ
adalah satu-ke-satu dengan persyaratan seperti itu. Ini istilah adalah istilah dalam
variabel u \ dan yl, hanya berisi operasi simbol L. Perhatikan bahwa τθσui = τθu \ = τui = δj
dan r ^ σ j / J

140
ROGER C. LYNDON
Dari konstruksi B, maka dari itu, untuk dua istilah seperti t dan V 'τθσt - τθσt' tidak bisa
menahan untuk salah satu t, V variabel kecuali t = V. Menunjang berpose sekarang
bahwa t = w (t lf , t pM )
dan V = w '(^, , t ' ? W)  ).
Perbandingan simbol pertama yang kita simpulkan dari τθσt = τθσV yang w - w ', dan
argumen setuju:
r & r ^ = τθσt [ i = l, , ρ (w) - p {w f ).
Dengan induksi pada panjang yang lebih pendek dari ί, £ 'kami menyimpulkan bahwa
masing-masing t ι ~ t [, dari mana t - V.
Akhirnya, χτσ Q yί = χτθσy * menurut definisi, dan χτσ Q u 8 - χτui = γτθσu *.
Karenanya χτσ 0 - χrθσ tentang ketentuan ΘM 8  . Tapi χ jelas satu-satu di istilah yang tidak
mengandung simbol-simbol s 8ύr  . Karenanya, untuk istilah t dan V dari 8M  8 , στσ Q t =
tτσjt  1 menyiratkan χτθσt = χτθσV ', maka τθσt = τθσV y dan, oleh\ properti τθσ
yang didirikan di atas, t - V. Ini melengkapi bukti Teorema Utama.
5. Teorema Interpolasi. Biarkan S dan T menjadi kalimat dari bahasa
gauge L sedemikian rupa sehingga S = $> T. Lalu ada kalimat S ° bahasa
L sedemikian sehingga S ==> S °, S ° = Φ T, dan simbol relasi muncul 'secara positif
dalam S ° hanya jika itu terjadi secara positif pada S dan T, dan terjadi secara negatif
dalam S ° hanya jika terjadi negatif pada S dan Γ.
Bukti. S setara dengan kalimat praneks S 1 sedemikian rupa suatu relasi
simbol muncul secara positif (negatif) pada S 1 hanya jika itu terjadi secara positif (Negatif)
dalam S. Dan ~ T setara dengan kalimat prenex S 2 seperti itu bahwa simbol relasi muncul
secara positif (negatif) di S ' z hanya jika itu terjadi mengutuk negatif (positif)
dalam T. Karena S 1 , S 2 ==> 0, oleh Teorema Utama di sana ada prenex sentencs U 1
dan U  2 sedemikian sehingga S 1 = φ U 1 , S 2 = φ U 2 , itu U 1mengandung jenis kejadian
yang sama dari simbol relasi seperti S  1 dan U 2 sebagai S 2 , dan ησM 1 , ησM 2 = ^ 0
di mana σM \ σM 2 adalah matrik Skolem ces dari Z7 1 , U 2 , dan η adalah substitusi yang
satu-ke-satu pada atom rumus masing-masing dari σM 1 , σM 2 .  Semua ini tidak diubah jika
kita memodifikasi U 1 , U 2dengan mengurangi M ι , M 2ke bentuk normal. Cukuplah untuk
menemukan S ° sehingga U  ι = φ> S °, dan S °, U 2 = φ 0, dan a simbol relasi terjadi secara
positif (negatif) dalam S ° hanya jika terjadi positif secara efektif (negatif) di U ι
dan negatif (positif) di U 2  . Tuliskan M 8 = V M \, setiap M \ = / \ M \ jy dan masing-
masing M \ 5 salah A \  } atau ^ Af j dimana A \ 3 aku s rumus atom. Tentukan M ° = y / M
° t
di mana M S = 0 jika Λf J = Φ 0, dan jika tidak? hasil dari M dengan menghapus
semua M \  3
sehingga ^ ^ IJ j tidak setara dengan beberapa τjσM \ k . Biarkan S ° menjadi kalimat yang
diperoleh dari U 1 oleh mengganti matriksnya M 1 oleh matriks M °. Segera bahwa ok kurva
simbol relasi dalam S ° terkait dengan yang ada di U 1 dan U % dalam cara yang
diperlukan. Selain itu, karena M 1 = ^> M °  adalah langsung, maka dengan mudah
bahwa U 1 = φ S °.
TEORI INTERPOLASI DALAM PREDIKAT KALKULUS
141
Tetap menunjukkan bahwa S °, U 2 => 0, dan untuk ini cukuplah
untuk menunjukkan bahwa ψM \ ησM  2 => 0. Karena ησM 1 A?} (rM 2 = $ 0, maka untuk
semua i, h, ηvM \ Λ ησM \ = φ 0. Kami ingin menyimpulkan bahwa untuk semua i, h, ^
σMSΛ ^ Karena σ jelas satu-ke-satu di segi M 1 , begitu juga ησ, dan menyiratkan ifcfl = φθ,
dari mana menurut definisi M \ = 0, maka ^ σ ΛfS = 0 dan kesimpulannya berikut. Jika 3? Σj |
ί 2A ==> 0 kesimpulannya langsung. Di sana- case utama ada j dan k sedemikian
sehingga <^ 7jσM \ jζ ^ ησM \ lc  . Tapi kemudian, menurut definisi, M \ masih mengandung
kata sambung M \ 3 , dan lagi Karena ησMl Λ ησ-Ml ^ 0 untuk semua i, h, maka itu
melengkapi buktinya. Dinyatakan dalam pengantar bahwa Teorema Interpolasi tetap berlaku
untuk predikat kalkulus dengan identitas. Tepatnya kita\batasi definisi suatu bahasa hanya
berlaku untuk yang mengandung simbol hubungan tetap e dari peringkat dua, dan definisi
interpretasi\ untuk mengakui hanya μ yang μe merupakan relasi identitas pada
domain μ. Relasi S ^ T kemudian memperoleh makna yang lebih kuat. Meskipun demikian,
Teorema Interpolasi sebagaimana dinyatakan tetap benar dalam hal ini pengertian
baru. (Mungkin perlu dicatat bahwa e termasuk dalam daftar simbol-simbol yang disebutkan
dalam kesimpulan teorema.) Faktanya, semua pernyataan dalam makalah ini tetap benar
dalam arti baru, terlepas dari dua modifikasi. Pertama, Proposisi 1 harus dimodifikasi dengan
memperbesar J ke mengandung (coset) setiap rumus e (t, t), t suatu istilah, dan mengandung
apa saja rumus F f dapat diperoleh dari rumus F dalam J dengan mengganti suatu kejadian
dari istilah ί oleh istilah V yang baru, asalkan e (ί, V) ada di J. Kedua, di bukti dari Teorema
Interpolasi, M \ seperti yang dijelaskan di atas harus diperbesar dengan cara yang sama
dengan berdampingan dengan masing-masing set yang terbatas dari semua M \ 5 dari
bentuk A atau ~ A, A atom, sehingga Ml ^ MLJ dalam pengertian saat ini.
Teorema Interpolasi dapat disempurnakan dengan cara lain. Kondisi tions dapat dikenakan
pada struktur internal rumus atom r (ti> * * *> * W)) yang mengandung simbol relasi r.
Misalnya, tentukan sebuah / -rangkaian r dalam S menjadi satu di mana masing-masing t jika
untuk i e / <= {1, p (r)} adalah variabel yang secara universal dikuantifikasi dalam S. Maka
dapat disyaratkan bahwa r memiliki kejadian-Z adalah S ° hanya jika memiliki / '- kejadian
dalam $ dan / "- oc- currences di T, di mana J "c / c = / '. Atau, kondisi yang lebih kuat dapat
dikenakan pada konteks eksternal di mana simbol relasi terjadi. Misalnya, anggap semua
kejadian positif dalam £ dari simbol relasi r ada dalam rumus A'αA di mana A dan A! adalah
rumus atom, dan itu tidak ada simbol relasi yang muncul di bagian A! formula ini memiliki
kejadian positif di S, kecuali mungkin di bagian A maka S ° dapat diminta untuk tidak
mengandung kejadian positif r. Penyempurnaan seperti Teorema Interpolasi telah terbukti
berguna dalam studi homomor- phisms dan produk subdirektori model, tetapi karena mereka
khusus tampaknya tidak ada gunanya memberikan pernyataan formal yang terpisah
dan bukti dari hasil ini.