Aturan Inferensi: aturan Implikasi: Ini adalah "satu arah" aturan: Premis (s) dapat digunakan

untuk menurunkan kesimpulan. kesimpulan tidak dapat digunakan untuk menurunkan premis
(s). Aturan Penggantian: Ini adalah "dua arah" aturan: Dinyatakan sebagai equivalencies
logis. Kedua sisi kesetaraan yang dapat menggantikan yang lain. Dapat digunakan untuk
"mendekonstruksi" kesimpulan untuk wawasan tentang bagaimana untuk mendapatkan itu.
Conditional Proof: Sebuah metode untuk menurunkan pernyataan kondisional. Asumsikan
anteseden bersyarat yang diinginkan pada garis indentasi. Turunkan akibat dari pernyataan
kondisional yang diinginkan. Discharge urutan menjorok dalam sebuah pernyataan kondisional
memiliki garis pertama fi dari urutan sebagai anteseden dan baris terakhir sebagai konsekuen.
Metode ini dapat sangat menyederhanakan banyak bukti. Tidak langsung Bukti: Sebuah metode
untuk menurunkan segala jenis pernyataan. Asumsikan negasi dari pernyataan yang diinginkan
(sering ini adalah kesimpulan) pada garis indentasi. Turunkan kontradiksi. Setiap asumsi
bahwa tentu mengarah ke kontradiksi adalah palsu. Discharge urutan menjorok dalam sebuah
pernyataan yang terdiri dari negasi dari garis pertama dari urutan. Membuktikan Kebenaran logis
(tautologi): Gunakan bukti bersyarat untuk mendapatkan conditional dan biconditionals.
Asumsikan yg dari pernyataan kondisional pada garis indentasi. Turunkan konsekuen.
Discharge urutan menjorok dengan cara yang biasa. Biconditionals memerlukan dua urutan
menjorok. Gunakan bukti tidak langsung untuk memperoleh kebenaran logis: Asumsikan
negasi dari kebenaran logis pada garis indentasi. Turunkan kontradiksi. Discharge urutan
menjorok dengan cara yang biasa. 442 Simbol dan Teknik Terjemahan berada dev kawin lari
dalam bab-bab sebelumnya untuk mengevaluasi dua jenis erent dasarnya diff argumen. Th e bab
tentang silogisme kategoris ditangani dengan argumen seperti berikut: Semua hookups
mahasiswa yang seksual quickie. Tidak ada hubungan seksual quickie adalah hubungan
berkomitmen. Oleh karena itu, tidak ada hookups mahasiswa yang hubungan berkomitmen.
Dalam argumen seperti komponen fundamental adalah istilah, dan validitas argumen tergantung
pada pengaturan persyaratan dalam lokasi dan kesimpulan. Th e bab tentang logika
proposisional, di sisi lain, berurusan dengan argumen seperti ini: Jika stres kronis berkurang,
maka relaksasi meningkat dan kesehatan membaik. Jika kesehatan membaik, maka orang-orang
hidup lebih lama. Oleh karena itu, jika stres kronis berkurang, maka orang-orang hidup lebih
lama. Dalam argumen seperti komponen fundamental bukanlah istilah tapi pernyataan. Validitas
argumen ini tidak tergantung pada susunan istilah dalam laporan tetapi pada susunan laporan
sendiri unit yang sederhana. 8.1 Predikat Logika 8.1 Simbol dan Terjemahan 8,2 Menggunakan
Aturan inferensi 8.3 Perubahan Quantifi er Peraturan 8,4 Bersyarat langsung Bukti 8.5
Membuktikan Kecacatan 8.6 Relational Predikat dan Tumpang Tindih Quantifi ers 8,7 Identity 8
Sumber daya tambahan yang tersedia di situs Logic CourseMate. 8 Bagian 8.1 Simbol dan
Terjemahan 443 Tidak semua argumen, bagaimanapun, dapat ditugaskan untuk satu atau yang
lain dari kedua kelompok ini. ere Th adalah jenis ketiga yang merupakan jenis hybrid, berbagi
fitur dengan kedua silogisme kategoris dan argumen proposisional. Perhatikan, misalnya, sebagai
berikut: Catherine Zeta-Jones kaya dan indah. Jika seorang wanita baik kaya atau terkenal, dia
senang. Oleh karena itu, Catherine Zeta-Jones senang. Th e validitas argumen ini tergantung
pada kedua susunan syarat dan susunan laporan. Dengan demikian, tidak logika silogisme atau
logika proposisional saja sien suffi untuk membangun validitasnya. Apa yang dibutuhkan adalah
jenis ketiga logika yang menggabungkan fitur khas dari logika silogisme dan logika
proposisional. Th adalah jenis ketiga disebut logika predikat. Komponen fundamental dalam
logika predikat adalah predikat, dilambangkan dengan huruf besar (A, B, C,... X, Y, Z), disebut
simbol predikat. Berikut adalah beberapa contoh dari predikat telanjang: predikat Inggris

simbolik predikat ___ adalah kelinci R __ ___ raksasa G __ ___ adalah seorang dokter D __ ___
tidak berdaya H __ Th e ruang kosong segera setelah surat predikat bukan bagian dari predikat;
bukan, itu menunjukkan tempat untuk beberapa huruf kecil yang akan mewakili subjek
pernyataan. Tergantung pada apa yang huruf kecil digunakan, dan pada simbolisme tambahan
yang terlibat, predikat simbolik dapat digunakan untuk menerjemahkan tiga jenis yang berbeda
dari laporan: laporan tunggal, pernyataan universal, dan pernyataan tertentu. Sebuah pernyataan
tunggal, Anda mungkin ingat dari Bagian 4.7, adalah pernyataan yang membuat penegasan
tentang khusus bernama orang, tempat, benda, atau waktu. Menerjemahkan pernyataan tunggal
melibatkan menulis huruf kecil sesuai dengan subjek pernyataan di sebelah kanan langsung dari
huruf besar sesuai dengan predikat. Surat-surat yang dialokasikan untuk melayani sebagai nama
orang pertama dua puluh tiga huruf abjad (a, b, c,... U, v, w). Surat-surat ini disebut konstanta
individu. Berikut adalah beberapa contoh pernyataan diterjemahkan: Pernyataan terjemahan
simbolik Socrates adalah fana. Ms Tokyo adalah terpadat. Pt The Sun-Times adalah surat kabar.
Ns King Lear bukan dongeng. ~Fk Berlioz bukan Jerman. ~Gb 444 Bab 8 Predikat Logika
pengaturan 8 Compound laporan tunggal dapat diterjemahkan dengan menggunakan penghubung
akrab logika proporsional. Berikut adalah beberapa contoh: terjemahan simbolik Pernyataan Jika
Paris adalah indah, maka Andre mengatakan yang sebenarnya. Bp Ta Irene adalah salah
seorang dokter atau pengacara. Di Li Senator Wilkins akan dipilih hanya jika dia kampanye.
Ew Cw General Motors akan berhasil jika salah Nissan lumpuh oleh pemogokan atau Subaru
menyatakan kebangkrutan. (Cn Ds) Pg Indianapolis mendapat hujan jika dan hanya jika
Chicago dan Milwaukee mendapatkan salju. Ri (Sc Sm) Pada Bab 4 bahwa pernyataan yang
universal adalah pernyataan yang membuat pernyataan tentang setiap anggota kelas subjek.
Pernyataan seperti itu baik affi rmative atau negatif, tergantung pada apakah rms affi pernyataan
atau menyangkal bahwa anggota-anggota kelas subjek adalah anggota dari kelas predikat. Kunci
e th untuk menerjemahkan pernyataan universal yang disediakan oleh interpretasi Boolean
laporan tersebut (lihat Bagian 4.3): formulir Pernyataan Boolean interpretasi Semua S adalah P.
Jika sesuatu adalah S, maka itu adalah P. Tidak ada S P. Jika sesuatu adalah S, maka itu bukan P.
Menurut interpretasi Boolean, pernyataan universal diterjemahkan sebagai conditional. Kami
memiliki simbol (tapal kuda) untuk menerjemahkan pernyataan bersyarat, sehingga kita dapat
menggunakannya untuk menerjemahkan pernyataan universal. Apa yang masih dibutuhkan,
bagaimanapun, adalah simbol untuk menunjukkan bahwa pernyataan yang universal membuat
pernyataan tentang setiap anggota dari kelas S. Simbol th disebut quantifi er universal. Hal ini
dibentuk dengan menempatkan huruf kecil dalam kurung, (x), dan diterjemahkan sebagai "untuk
setiap x." Th huruf e yang dialokasikan untuk membentuk er quantifi universal adalah tiga huruf
terakhir dari alfabet (x, y, z). surat ese Th disebut variabel individu. Th Operator e tapal kuda dan
er quantifi universal dikombinasikan untuk menerjemahkan pernyataan yang universal sebagai
berikut: formulir Pernyataan simbolik terjemahan makna Verbal Semua S adalah P. (x) (Sx Px)
Untuk setiap x, jika x adalah S, maka x adalah P. tidak S adalah P. (x) (Sx ~Px) untuk setiap x,
jika x adalah S, maka x bukan P. seorang individu ers diff variabel dari suatu konstanta individu
dalam bahwa hal itu dapat berdiri untuk setiap Item secara acak di alam semesta. Dengan
demikian, ekspresi (x) (Sx Px) berarti "Jika sesuatu adalah S, maka itu adalah P," dan (x) (Sx
~Px) berarti "Jika sesuatu adalah S, maka itu bukan P. "Th e fakta bahwa ekspresi ini setara
dengan interpretasi Boolean dari 8 Bagian 8.1 Simbol dan Terjemahan 445 laporan yang
universal dapat dilihat dengan mengingat bagaimana interpretasi Boolean diwakili oleh diagram
Venn (lihat Bagian 4.3). Th e Venn diagram yang sesuai dengan dua bentuk pernyataan universal
adalah sebagai berikut: SP Semua S adalah P. SP Tidak S adalah P. Dimana shading menunjuk

kekosongan, diagram di sebelah kiri menegaskan bahwa jika ada sesuatu yang di lingkaran S,
juga di lingkaran P, dan satu di sebelah kanan menegaskan bahwa jika ada sesuatu yang di
lingkaran S, hal ini tidak di lingkaran P. Th adalah persis apa yang ditegaskan oleh ekspresi
simbolik saja diberikan. ekspresi simbolik th ese karenanya dapat diambil sebagai persis identik
dengan penafsiran Boolean laporan universal. Sebuah sumber yang mungkin kebingungan pada
saat ini menyangkut fakta bahwa baik S dan P dalam ekspresi simbolik yang predikat, sedangkan
dalam bahasa aslinya bentuk pernyataan S adalah subjek dan P adalah predikat. Setiap masalah
dalam hal ini lenyap, namun, setelah seseorang memahami apa yang terjadi ketika laporan
universal diubah menjadi conditional. Ketika begitu dikonversi, S menjadi predikat yg dan P
menjadi predikat konsekuen. Dengan kata lain, dalam bersyarat "Jika sesuatu adalah S, maka itu
adalah P," baik S dan P yang predikat. Th kita, menggunakan predikat simbolisme untuk
menerjemahkan pernyataan universal yang mengarah ke tidak ada kesulitan-diffi. Ketika
menerjemahkan pernyataan ini, titik untuk mengingat hanyalah ini: Th e subjek pernyataan asli
diwakili oleh huruf kapital di anteseden, dan predikat oleh huruf kapital di konsekuen. Berikut
adalah beberapa contoh: Pernyataan terjemahan simbolik Semua pencakar langit yang tinggi. (X)
(Sx Tx) ada katak adalah burung. (X) (Fx ~Bx) Semua duta yang negarawan. (X) (Ax
Sx) ada berlian rubi. (X) (Dx ~Rx) Dalam contoh ini, ekspresi Sx Tx, Fx ~Bx, dan
sebagainya disebut fungsi pernyataan. Fungsi pernyataan adalah ekspresi yang tetap ketika er
quantifi dihapus dari pernyataan. Ini adalah pola hanya untuk sebuah pernyataan. Itu tidak
membuat defi nite pernyataan tentang apa pun di alam semesta, tidak memiliki nilai kebenaran,
dan tidak dapat diterjemahkan sebagai pernyataan. variabel e th yang terjadi dalam fungsi
pernyataan disebut variabel bebas karena mereka tidak terikat oleh quantifi er. Sebaliknya,
variabel yang terjadi dalam laporan disebut variabel terikat. Dalam menggunakan ers quantifi
untuk menerjemahkan laporan, kita mengadopsi konvensi mirip dengan yang diadopsi untuk
operator tilde. Th di yaitu, quantifi er hanya mengatur ekspresi segera setelah itu. Misalnya,
dalam pernyataan (x) (Ax Bx) universal 446 Bab 8 Predikat Logika 8 quantifi er mengatur
seluruh fungsi pernyataan dalam kurung-yaitu, Ax Bx. Tapi dalam ekspresi (x) Ax Bx, yang
quantifi er yang universal hanya mengatur fungsi pernyataan Ax. Th e sama konvensi diadopsi
untuk quantifi eksistensial er, yang akan diperkenalkan saat. Ingat dari Bab 4 bahwa pernyataan
tertentu adalah pernyataan yang membuat pernyataan tentang satu atau lebih yang tidak
disebutkan namanya anggota kelas subjek. Seperti pernyataan universal, pernyataan tertentu
yang baik affi rmative atau negatif, tergantung pada apakah rms affi pernyataan atau menyangkal
bahwa anggota kelas subjek adalah anggota dari kelas predikat. Juga, seperti dengan pernyataan
universal, kunci untuk menerjemahkan pernyataan tertentu yang diberikan oleh interpretasi
Boolean: formulir Pernyataan Boolean interpretasi Beberapa S adalah P. Setidaknya satu hal
adalah S dan juga merupakan P. Beberapa S tidak P. Pada setidaknya satu hal adalah S dan itu
bukan P. dengan kata lain, pernyataan tertentu dijabarkan sebagai konjungsi. Karena kita sudah
akrab dengan simbol untuk bersama (dot), satu-satunya simbol tambahan yang kita butuhkan
untuk menerjemahkan pernyataan ini adalah simbol eksistensi. Th ini disediakan oleh er quantifi
eksistensial, dibentuk dengan menempatkan variabel di sebelah kanan dari E mundur dalam
tanda kurung, sehingga: (x). Th adalah simbol diterjemahkan "ada sebuah x seperti itu." Th e
eksistensial quantifi er dikombinasikan dengan operator dot untuk menerjemahkan pernyataan
tertentu sebagai berikut: Pernyataan bentuk Terjemahan simbolik makna Verbal Beberapa S
adalah P. (x) (Sx px) terdapat sebuah x sehingga x adalah S dan x adalah P. Beberapa S tidak
P. (x) (Sx ~Px) terdapat sebuah x sehingga x adalah S dan x bukan P . Seperti dalam ekspresi
simbolik dari pernyataan universal, huruf x adalah variabel individu, yang dapat berdiri untuk

setiap item dalam alam semesta. Dengan demikian, ekspresi (x) (Sx Px) berarti "Sesuatu ada
yang baik S dan P", dan (x) (Sx ~Px) berarti "Sesuatu ada yang merupakan S dan bukan P .
"untuk melihat kesetaraan ekspresi ini dengan Boolean (dan Aristotelian) interpretasi laporan
tertentu, ini lagi berguna untuk mengingat bagaimana pernyataan ini diwakili oleh diagram Venn:
SP Beberapa S adalah P. SP Beberapa S tidak P. XX di mana X menunjuk setidaknya satu item
yang ada, diagram di sebelah kiri menegaskan bahwa sesuatu ada yang baik S dan P, dan yang
satu di sebelah kanan menegaskan bahwa sesuatu yang ada yang merupakan S dan bukan P.
dengan kata lain , diagram ini menegaskan hal yang persis sama dengan ekspresi simbolik saja
diberikan. Ekspresi simbolik, 8 Bagian 8.1 Simbol dan Terjemahan 447 karena itu, persis
mengekspresikan Boolean (dan Aristotelian) interpretasi laporan tertentu. Berikut adalah
beberapa contoh: Pernyataan terjemahan simbolik Beberapa pria orang miskin. (x) (Mx Px)
Beberapa penyakit tidak menular. (x) (Dx ~Cx) Beberapa pekerjaan yang membosankan. (x)
(Jx Bx) Beberapa kendaraan tidak sepeda motor. (x) (Vx ~Mx) Th e aturan umum untuk
mengikuti menerjemahkan pernyataan dalam logika predikat selalu membuat ortir eff untuk
memahami makna pernyataan yang akan diterjemahkan. Jika pernyataan itu membuat pernyataan
tentang setiap anggota kelas subjek, sebuah kuantitas produk fi er yang universal harus
digunakan untuk menerjemahkannya; tetapi jika itu membuat pernyataan tentang satu atau lebih
anggota kelas ini, sebuah quantifi er eksistensial harus digunakan. Banyak dari prinsip-prinsip
yang dikembangkan dalam logika silogisme (lihat Bagian 4.7) dapat dibawa ke dalam logika
predikat. Cally spesifik, harus dipahami bahwa pernyataan yang dimulai dengan kata-kata saja
dan tidak ada tetapi proposisi eksklusif. Ketika pernyataan ini dijabarkan, istilah terjadi pertama
dalam pernyataan asli menjadi konsekuen dalam ekspresi simbolik, dan istilah terjadi kedua
menjadi anteseden. Salah satu dari beberapa perbedaan-perbedaan diff dalam hal ini antara
logika predikat dan kekhawatiran logika silogisme pernyataan tunggal. Dalam logika silogisme,
pernyataan tunggal dijabarkan sebagai universal, sementara dalam logika predikat, seperti telah
kita lihat, mereka diterjemahkan dengan cara yang unik. Berikut adalah beberapa contoh dari
berbagai laporan: Pernyataan terjemahan simbolik Ada pernikahan bahagia. (x) (Mx Hx)
Setiap dokter anak kehilangan tidur. (X) (Px Lx) Hewan ada. (x) Ax Unicorn tidak ada. ~
(x) Ux Apapun dibayangkan (x) singa Cx Sea adalah mamalia. (X) (Sx Mx) singa laut hidup
di gua ini. (x) (Sx Lx) egomaniak tidak sahabat yang menyenangkan. (X) (Ex ~Px)
Beberapa egomaniak tidak tiba tepat waktu. (x) (Ex ~Ax) Hanya teman dekat diundang ke
pesta pernikahan. (X) (Ix Cx) Tidak ada tapi warga berhak memilih. (X) (Ex Cx) Hal ini
tidak terjadi bahwa setiap Pramuka menjual kue. ~ (X) (Gx Sx) atau (x) (Gx ~Sx) Tidak
seorang psikolog tunggal menghadiri konvensi. ~ (x) (Px Ax) atau (x) (Px ~Ax) 448 Bab 8
Predikat Logika 8 Sebagai contoh-contoh ini menggambarkan, prosedur umum dalam
menerjemahkan pernyataan dalam logika predikat adalah untuk membuat pernyataan universal
conditional didahului oleh quantifi er universal, dan pernyataan tertentu sebagai konjungsi
didahului oleh quantifi er eksistensial. Namun, sebagai contoh ketiga dan fi ft h menunjukkan,
ada pengecualian untuk prosedur ini. Sebuah pernyataan yang membuat pernyataan tentang
harfiah segala sesuatu di alam semesta diterjemahkan dalam hal predikat tunggal didahului oleh
kuantitas produk fi er universal, dan pernyataan yang menegaskan bahwa beberapa kelas hal
hanya eksis diterjemahkan dalam hal predikat tunggal didahului oleh quantifi er eksistensial. Th
e dua contoh terakhir menggambarkan bahwa pernyataan tertentu adalah setara dengan yang
universal menegasikan, dan sebaliknya. Th e pertama ini setara dengan "Beberapa Pramuka tidak
menjual cookies" dan yang kedua untuk "Tidak ada psikolog menghadiri konvensi." Sebenarnya,
pernyataan quantifi ed dapat diterjemahkan baik menggunakan universal atau quantifi er

eksistensial, tersedia yang salah satunya adalah dinegasikan. Th e kesetaraan kedua bentuk
ekspresi akan dianalisis lebih lanjut dalam Bagian 8.3. Lebih pernyataan yang kompleks dapat
diterjemahkan dengan mengikuti aturan dasar hanya disajikan. Contoh: Pernyataan terjemahan
simbolik Hanya ular dan kadal berkembang di padang pasir. (X) [Tx (Sx Lx)] Jeruk dan
lemon adalah buah-buahan jeruk. (X) [(Ox Lx) Cx] apel matang renyah dan lezat. (X) [(Rx
Ax) (Cx Dx)] Azalea mekar jika dan hanya jika mereka dibuahi. (X) [Ax (Bx Fx)]
Peaches bisa dimakan kecuali mereka busuk. (X) [Px (~Rx Ex)] atau (x) [Px (Ex Rx)]
Kucing dan anjing menggigit jika mereka takut atau dilecehkan. (X) {(Cx Dx) [(Fx Hx)
Bx]} Perhatikan bahwa contoh pertama diterjemahkan dalam hal disjungsi Sx Lx meskipun
pernyataan bahasa Inggris berbunyi "ular dan kadal." Jika terjemahan yang diterjemahkan
sebagai (x) [Tx (Sx Lx)] itu berarti bahwa apa pun yang tumbuh subur di gurun adalah baik
ular dan kadal (pada waktu yang sama). Dan ini pasti tidak apa yang dimaksud. Untuk alasan
yang sama, contoh kedua diterjemahkan dalam hal disjungsi Ox Lx meskipun bahasa Inggris
berbunyi "jeruk dan lemon." Jika pernyataan itu diterjemahkan (x) [(Ox Lx) Cx], itu berarti
bahwa segala sesuatu yang secara bersamaan jeruk dan lemon (dan tidak ada satu pun dari ini)
adalah buah jeruk. Th e prinsip yang sama digunakan dalam menerjemahkan contoh keenam,
yang, kebetulan, berbunyi "Jika sesuatu adalah kucing atau anjing, maka jika itu adalah
ketakutan atau dilecehkan, menggigit." Th e Contoh ketiga mempekerjakan hubungannya Rx
Ax untuk menerjemahkan apel matang. Th adalah, tentu saja, adalah benar, karena hal seperti itu
adalah baik matang dan apel pada saat yang sama. Th e fi ft h contoh menggambarkan kenyataan
bahwa "kecuali" dapat diterjemahkan sebagai "jika tidak" atau "atau." Th operator e logika
proposisional dapat digunakan untuk membentuk pengaturan senyawa pernyataan universal dan
khusus, seperti mereka dapat digunakan untuk membentuk pengaturan senyawa pernyataan
tunggal. Berikut adalah beberapa contoh: 8 Bagian 8.1 Simbol dan Terjemahan 449 Latihan 8.1
Terjemahkan pernyataan berikut dalam bentuk simbolis. Hindari tanda-tanda negasi sebelumnya
ers quantifi. e huruf predikat th diberikan dalam kurung. 1. Elaine adalah seorang ahli kimia.
(C) 2. Nancy bukan petugas penjualan. (S) Pernyataan terjemahan simbolik Jika Elizabeth adalah
seorang sejarawan, maka beberapa wanita sejarawan. Dia (x) (Wx Hx) Jika beberapa
pemain cello yang direktur musik, maka beberapa orkestra yang dipimpin dengan benar. (x)
(Cx Mx) (x) (Ox Px) Entah semuanya hidup atau teori Bergson adalah tidak benar. (X)
Ax ~Cb Semua novel yang menarik jika dan hanya jika beberapa novel Steinbeck tidak roman.
(X) (Nx Ix) (x) [(Nx Sx) ~Rx)] Green alpukat tidak pernah dibeli kecuali semua yang
matang mahal. (X) [(Gx Ax) ~Px] (x) [(Rx Ax) Ex] Kita telah melihat bahwa prosedur
umum adalah untuk menerjemahkan laporan universal conditional didahului oleh er quantifi
universal, dan menerjemahkan laporan tertentu sebagai konjungsi didahului oleh quantifi er
eksistensial. Mari kita lihat apa yang terjadi pada terjemahan ini ketika mereka didahului oleh
quantifi er salah. Perhatikan pernyataan palsu "Tidak ada kucing adalah hewan." Th
diterjemahkan dengan benar (x) (Cx ~Ax). Namun, jika itu yang diterjemahkan (x) (Cx
~Ax), pernyataan simbolik akan berubah menjadi kenyataan. Th ini dapat dilihat sebagai berikut.
(x) (Cx ~Ax) adalah setara melalui implikasi material (x) (~Cx ~Ax), yang pada
gilirannya setara melalui aturan De Morgan untuk (x) ~ (Cx Ax). Th e pernyataan terakhir,
bagaimanapun, hanya menegaskan bahwa sesuatu ada yang tidak baik kucing dan contoh hewanuntuk, anjing-yang benar. Sekali lagi, mempertimbangkan pernyataan yang benar "Beberapa
kucing adalah hewan." Th diterjemahkan dengan benar (x) (Cx Ax). Namun, jika itu yang
diterjemahkan (x) (Cx Ax), pernyataan simbolik akan menegaskan bahwa segala sesuatu di
alam semesta ini baik kucing dan hewan, yang jelas palsu. Th kita, sebagai contoh-contoh ini

menggambarkan, sangat penting bahwa dua ers quantifi tidak harus bingung dengan satu sama
lain. Salah satu pengamatan fi nal perlu dibuat. Hal itu disebutkan sebelumnya bahwa surat x, y,
dan z dicadangkan untuk digunakan sebagai variabel untuk menerjemahkan pernyataan universal
dan khusus. Sesuai dengan konvensi ini, dua puluh tiga huruf kecil lainnya (a, b, c,... U, v, w)
dapat digunakan sebagai nama untuk menerjemahkan pernyataan tunggal. Th kita, misalnya,
"Albert adalah seorang ilmuwan" diterjemahkan Sa. Tapi pertanyaan alami muncul dengan
pernyataan seperti "Xerxes adalah raja." Harus pernyataan ini diterjemahkan Kx? Jawabannya
adalah tidak. Beberapa surat lainnya, misalnya huruf kedua pada nama, harus dipilih bukan x.
Mempertahankan konvensi abjad ini akan membantu kita menghindari kesalahan pada bagian
berikutnya ketika kita menggunakan deduksi alami untuk menurunkan kesimpulan dari argumen.
Bagian 8.1 Simbol dan translati