UNIT 4 Logika Predikat

Pengantar Logika Predikat

Logika proposisional tidak cukup kuat untuk mewakili semua jenis pernyataan yang digunakan
dalam ilmu komputer dan matematika, atau untuk mengekspresikan jenis-jenis hubungan tertentu antara
proposisi seperti ekivalen.

Misalnya, pernyataan "x lebih besar dari 1", di mana x adalah variabel, bukanlah sebuah proposisi.
karena Anda tidak dapat menentukan apakah itu benar atau salah kecuali Anda mengetahui nilai x. Jadi
logika proposisional tidak dapat menangani kalimat-kalimat seperti itu. Namun, pernyataan semacam itu
sering muncul dalam matematika dan kami ingin melakukan inferensi terhadap pernyataan tersebut.

Juga pola yang terlibat dalam ekuivalensi logis berikut tidak dapat ditangkap oleh
logika proposisional

Tidak semua burung terbang setara dengan Beberapa burung tidak terbang.
"Tidak semua bilangan bulat genap" setara dengan "Beberapa bilangan bulat tidak genap".
"Tidak semua mobil mahal" setara dengan "Beberapa mobil tidak mahal"
... .

Setiap proposisi itu diperlakukan secara independen dari yang lain dalam logika proposisional. Untuk
misalnya, jika P mewakili "Tidak semua burung bisa terbang" dan Q mewakili "Beberapa bilangan bulat tidak genap", maka
tidak ada mekanisme dalam logika proposisional untuk mengetahui apakah P setara dengan Q atau tidak.
Oleh karena itu, untuk digunakan dalam penalaran, masing-masing ekuivalensi ini harus dicantumkan secara individu daripada
daripada menggunakan rumus umum yang mencakup semua kesetaraan ini secara kolektif dan
menginstansiasi itu saat mereka menjadi perlu, jika hanya logika proposisional yang digunakan.

Oleh karena itu, kita membutuhkan logika yang lebih kuat untuk mengatasi ini dan masalah lainnya. Logika predikat adalah
salah satu logika semacam itu dan itu menangani masalah ini di antara lainnya.

Predikat
Subjek yang Akan Dipelajari

● predikat

Isi
Untuk mengatasi kekurangan logika propositional, kami memperkenalkan dua fitur baru: predikat dan
kuantor.
Predicate adalah template frasa kata kerja yang menggambarkan sifat objek, atau hubungan.
di antara objek yang diwakili oleh variabel.

Misalnya, kalimat "Mobil yang dikemudikan Tom berwarna biru", "Langit berwarna biru", dan "Sampul
dari buku ini berwarna biru" berasal dari template "berwarna biru" dengan menempatkan kata benda yang sesuai
frasa di depan itu. Frasa "adalah biru" adalah suatu predikat dan itu menggambarkan sifat dari menjadi
biru. Predikat sering diberikan sebuah nama. Misalnya, salah satu dari "is_blue", "Blue" atau "B" dapat menjadi
digunakan untuk merepresentasikan predikat "adalah biru" di antara yang lainnya. Jika kita mengadopsi B sebagai nama untuk
predikat "adalah_biru", kalimat yang menyatakan suatu objek berwarna biru dapat direpresentasikan sebagai "B(x)", di mana
x mewakili objek yang sembarang. B(x) dibaca sebagai "x berwarna biru".

Demikian pula kalimat-kalimat "John memberi buku itu kepada Mary", "Jim memberikan sepotong roti kepada Tom", dan
Jane memberikan kuliah kepada Mary
y, dan dalam kalimat "xmemberikansayakepadaz". Template "... memberikan ... kepada ..." adalah sebuah predikat dan itu
menggambarkan hubungan antara tiga objek. Predikat ini dapat direpresentasikan dengan Give(x, y, z)
) atau G( x, y, z ), misalnya.

Catatan: Kalimat "John memberikan buku itu kepada Mary" juga dapat diwakili oleh yang lain
predikat seperti "memberikan buku kepada". Jadi jika kita menggunakan B( x, y ) untuk menunjukkan predikat ini, "John
memberikan buku itu kepada Mary" menjadi B( John, Mary ). Dalam hal ini, kalimat lain, "Jim memberikan
sepotong roti kepada Tom", dan "Jane memberikan kuliah kepada Mary", harus diungkapkan dengan yang lain
predikat.

Kuantifikasi --- Membentuk Proposisi dari Predikat

Mata Pelajaran yang Akan Dipelajari

alam semesta
● kuantor universal
kuantor eksistensial
variabel bebas
variabel terikat
● ruang lingkup kuantor
● urutan kuantor

Isi
Sebuah predikat dengan variabel bukanlah suatu propositis. Misalnya, pernyataan x > 1 dengan variabel x.
di atas alam semesta bilangan nyata tidak benar atau salah karena kita tidak tahu apa itu x. Itu bisa
benar atau salah tergantung pada nilai x.

Untuk x > 1 menjadi sebuah proposisi, baik kita mengganti dengan angka spesifik untuk x atau mengubahnya menjadi
Ada sebuah angka x untuk mana x > 1 berlaku, atau "Untuk setiap angka x, x > 1 berlaku."

Secara lebih umum, sebuah predikat dengan variabel (disebut sebagaiformula atom) dapat dibuat sebuah
proposisi dengan menerapkan salah satu dari dua operasi berikut pada setiap variabelnya:
 1. tetapkan nilai ke variabel
2. kuantifikasikan variabel menggunakan kuantifier (lihat di bawah).

Misalnya, x > 1 menjadi 3 > 1 jika 3 ditugaskan untuk x, dan itu menjadi pernyataan yang benar, maka
sebuah proposisi.

Secara umum, kuantifikasi dilakukan pada formula logika predikat (disebut wff), seperti x >
1orP(x), dengan menggunakan kuantor pada variabel. Ada dua jenis kuantor: universal
kuantor dan kuantor eksistensial.

Kuantor universal mengubah, misalnya, pernyataanx > 1 untuk "semua objek x dalam
alam semesta,x > 1", yang diungkapkan sebagai " x x > 1". Pernyataan baru ini benar atau salah di dalam
alam semesta pembicaraan. Oleh karena itu, ini adalah proposisi setelah alam semesta ditentukan.

Demikian pula, kuantor eksistensial mengubah, misalnya, pernyataanx > 1 untuk " untuk beberapa objek x
dalam alam semesta, x > 1", yang diungkapkan sebagai " x x > 1." Sekali lagi, itu benar atau salah di alam semesta.
diskursus, dan oleh karena itu ini adalah sebuah proposisi setelah alam semesta ditentukan.

U universe Pembicaraan
Semesta pembicaraan, juga disebut semesta, adalah kumpulan objek yang menjadi perhatian.
proposisi dalam logika predikat adalah pernyataan tentang objek-objek dari suatu alam semesta. Alam semesta demikian
domain dari variabel (individu). Itu bisa menjadi himpunan bilangan real, himpunan bilangan bulat,
sekumpulan semua mobil di tempat parkir, sekumpulan semua siswa di kelas dll. Alam semesta sering dijadikan
ditinggalkan implisit dalam praktik. Tetapi seharusnya jelas dari konteks.

Kuantor Universal

Ekspresi: x P(x), menunjukkan kuantifikasi universal dari formula atom P(x).

Untuk semua x, P(x) berlaku
untuk setiap x, P(x) berlaku atau untuk setiap x, P(x) berlaku. disebut kuantor universal, dan x
berarti semua objek x di alam semesta. Jika ini diikuti oleh P(x) maka artinya adalah P(x) adalah
benar untuk setiap objek di alam semesta. Misalnya, "Semua mobil memiliki roda" bisa jadi
dikonversi menjadi bentuk proposisional, x P(x), di mana:

●P(x) adalah predikat yang menunjukkan: x memiliki roda, dan

● alam semesta diskursus hanya dihuni oleh mobil.

Kuantor Universal dan Konektor DAN

Jika semua elemen dalam alam semesta pembicaraan dapat dicantumkan, maka kuantifikasi universal x
P(x) setara dengan konjungsi: P(x1))P(x2) P(x3...P(xn).

Misalnya, dalam contoh di atas x P(x), jika kita tahu bahwa hanya ada 4 mobil di kami
alam semesta diskursus (c1, c2, c3 dan c4) maka kita juga dapat menerjemahkan pernyataan itu sebagai: P(c1)
P(c2) P(c3) P(c4)
Kuantor Eksistensial

Ekspresi: xP(x), menunjukkan kuantifikasi eksistensial dari P(x).

Bahasa Inggris, ungkapan tersebut juga dapat dipahami sebagai: 'Ada anx sehingga
P(x)" atau "Ada setidaknya satu x sehingga P(x)" disebut kuantor eksistensial, dan x
berarti setidaknya satu objek di alam semesta. Jika ini diikuti oleh P(x), maka maknanya adalah bahwa
P(x) benar untuk setidaknya satu objek x dari alam semesta. Misalnya, "Seseorang mencintaimu" bisa jadi
dikembangkan menjadi bentuk proposisional, x P(x), di mana:

●P(x) adalah predikat yang berarti: x mencintaimu,

● Alam semesta dari diskursus mencakup (tetapi tidak terbatas pada) semua makhluk hidup.

Kuantor Eksistensial dan Konektor ATAU

Jika semua elemen dalam alam diskursus dapat dicantumkan, maka kuantifikasi eksistensial
xP(x) setara dengan disjungsi: P(x1) P(x2) P(x3) ... P(x
n).

Misalnya, dalam contoh di atas x P(x), jika kita tahu bahwa hanya ada 5 yang hidup
makhluk dalam alam semesta percakapan kita (katakanlah: saya, dia, dia, rex dan fluff), maka kita juga bisa menulis
P(saya) P(dia) P(dia) P(rex) P(bulu)

Sebuah kemunculan variabel dalam awffdikatakan terikat jika nilai tertentu diberikan kepadanya
itu atau itu terukur. Jika penampilan dari sebuah variabel tidak terikat, itu disebut bebas. Luas dari
aplikasi (efek) dari sebuah kuantifier, yang disebut sebagai jangkauan kuantifier, ditunjukkan dengan kotak
kurung[ ]. Jika tidak ada kurung siku, maka lingkupnya dipahami sebagai yang terkecilwff
mengikuti kuantifikasi.

Misalnya, di x P(x, y), variabel x terikat sementara y bebas. Dalam x[y P(x, y)Q(x,
y) ], xdan theyinP(x, y)terikat, sementara yinQ(x, y)bebas, karena ruang lingkup y adalah
P(x, y). Ruang lingkup x adalah [y P(x, y)Q(x, y)] .

Cara membaca rumus terkuantifikasi

Ketika membaca rumus terukur dalam bahasa Inggris, bacalah dari kiri ke kanan. x dapat dibaca sebagai
untuk setiap objek x di alam semesta, hal berikut berlaku dan x dapat dibaca sebagai "ada sebuah"
objek di alam semesta yang memenuhi yang berikut ini" atau "untuk beberapa objek di alam semesta
berikut ini berlaku". Itu tidak selalu memberi kita ungkapan bahasa Inggris yang baik. Tapi mereka adalah
di mana kita bisa mulai. Dapatkan bacaan yang benar terlebih dahulu lalu poles bahasa Inggris Anda tanpa mengubah
nilai kebenaran.

Sebagai contoh, biarkan alam semesta menjadi himpunan pesawat terbang dan biarkan F(x, y) menunjukkan "x terbang lebih cepat dari"

y". Kemudian
x y F(x, y) dapat diterjemahkan awalnya sebagai "Untuk setiap pesawat, yang berikut ini berlaku: x lebih cepat
daripada setiap pesawat terbang.
pesawat (termasuk dirinya sendiri!)
x y F(x, y) dapat dibaca awalnya sebagai "Untuk setiap pesawat x, yang berikut ini berlaku: untuk beberapa pesawat"
y,xis lebih cepat daripada y". Dalam bahasa Inggris yang lebih sederhana itu berarti "Setiap pesawat lebih cepat daripada beberapa pesawat".
 x y F(x, y) mewakili "Ada sebuah pesawat x yang memenuhi hal berikut: (atau sehingga)
Untuk setiap pesawat, xis lebih cepat dari y. Dalam bahasa Inggris yang lebih sederhana, itu mengatakan 'Ada pesawat yang'
lebih cepat daripada setiap pesawat
x y F(x, y) terbaca 'Untuk beberapa pesawat x terdapat pesawat y sehingga x lebih cepat dari y'
Beberapa pesawat lebih cepat dari beberapa pesawat.

Urutan Penerapan Kuantor

Ketika lebih dari satu variabel dikuantifikasi dalam wff seperti y x P(x, y), mereka diterapkan
dari dalam, yaitu, yang paling dekat dengan rumus atom diterapkan terlebih dahulu. Jadi y x P(x, y
Ada yang demikian sehingga untuk setiap x, P(x, y) berlaku
atau "untuk beberapa y, P(x, y) berlaku untuk setiap x".

Posisi kuantor yang sama dapat dipindahkan tanpa mempengaruhi nilai kebenaran seperti
selama tidak ada pengukur jenis lain di antara yang akan dipertukarkan.
Sebagai contoh x y z P(x, y, z) setara dengan y x z P(x, y, z), z y x P(x, y ,
z), dll. Ini sama untuk kuantor universal.

Namun, posisi berbagai jenis quantifier tidak dapat dipindahkan.

Misalnya x y P( x, y ) tidak setara dengan y x P( x, y ). Biarkan P( x, y ) mewakili x <

y untuk himpunan angka sebagai alam semesta, misalnya. Maka x y P( x, y ) dibaca "untuk setiap
numberx, ada numberythat yang lebih besar dari x", yang benar, sementara y x P( x, y )dibaca
ada sebuah angka yang lebih besar dari setiap (angka apa pun), yang tidak benar.

Formula yang Terbentuk dengan Baik untuk Logika Predikat Orde Pertama

--- Aturan Sintaksis

Subjek yang akan Dipelajari

● wff (formula yang terstruktur dengan baik)

formula atomik
● sintaksis wff

Isi
Tidak semua string dapat merepresentasikan proposisi logika predikat. Yang menghasilkan sebuah
proposisi ketika simbol-simbol mereka diinterpretasikan harus mengikuti aturan yang diberikan di bawah ini, dan mereka adalah
disebut wffs (rumus yang terstruktur dengan baik) dari logika predikat orde pertama.

Aturan untuk membangun Wffs

Nama predikat diikuti oleh daftar variabel seperti P(x, y), di mana P adalah nama predikat,
dan x dan y adalah variabel, disebut formula anatomic.
Wffs dibangun menggunakan aturan berikut:

1. Benar dan Salah adalah wffs.

2. Setiap konstanta proposisional (yaitu proposisi spesifik), dan setiap variabel proposisional
(yaitu, variabel yang mewakili proposisi) adalah wff.
3. Setiap rumus atom (yaitu, predikat spesifik dengan variabel) adalah wff.
4. Jika A, B, dan C adalah wffs, maka begitu juga dengan A, (A B), (A B),(A B),dan(A B).
5. Jika x adalah variabel (mewakili objek dari alam diskursus), dan A adalah wff, maka
jadi adalah x Aandx A.

(Catatan: Secara umum, argumen dari predikat disebut aterm. Juga variabel
mewakili nama predikat (yang disebut variabel predikat) dengan daftar variabel dapat membentuk
formula atomik. Tapi kami tidak membahas itu di sini.

Misalnya, "Ibu kota Virginia adalah Richmond." adalah proposisi spesifik. Oleh karena itu, itu adalah wff oleh
Aturan 2.
Biarkan B menjadi nama predikat yang mewakili "berwarna biru" dan biarkan x menjadi sebuah variabel. Maka B(x) adalah sebuah
rumus atomik berarti "x adalah biru". Jadi itu adalah wff berdasarkan Aturan 3. di atas. Dengan menerapkan Aturan 5. ke
B(x), xB(x) adalah bentuk yang benar dan begitu juga xB(x). Maka dengan menerapkan Aturan
x B(x) adalah 4. pada mereka x B(x)
terlihat sebagai wff. Demikian juga jika R adalah nama predikat yang mewakili "menjadi bulat". Maka R(x) adalah sebuah
formula atom. Oleh karena itu, itu adalah wff. Dengan menerapkan Aturan 4 pada B(x) dan R(x), wff B(x)R(x) adalah

diperoleh.
Dengan cara ini, wffs yang lebih besar dan lebih kompleks dapat dibangun mengikuti aturan yang diberikan
di atas.
Namun, perlu dicatat bahwa string yang tidak dapat dibentuk dengan menggunakan aturan-aturan tersebut bukanlah wff.
contoh,xB(x)R(x), danB(x)BUKANwffs, JUGAbukanB(R(x) ), danB(x R(x) ).

Salah satu cara untuk memeriksa apakah suatu ekspresi adalah wff atau tidak adalah dengan mencoba menyatakannya dalam bahasa Inggris. Jika

Anda dapat menerjemahkannya menjadi kalimat bahasa Inggris yang benar, maka itu adalah wff.

Lebih banyak contoh: Untuk mengungkapkan fakta bahwa Tom lebih tinggi dari John, kita dapat menggunakan formula atom
taller(Tom, John), yang merupakan wff. Wff ini juga bisa menjadi bagian dari beberapa pernyataan majemuk seperti
astaller(Tom, John) lebih_tinggi(John, Tom), yang juga merupakan wff.

Jika x adalah variabel yang mewakili orang di dunia, maka taller(x, Tom), x taller(x, Tom), x
taller(x,Tom), x y taller(x,y) adalah semua wff di antara yang lain.

Namun, taller(x, John) dan taller(Tom Mary, Jim), misalnya, BUKAN wff.

UNIT 4 - AKTIVITAS 1
1. Biarkan Q(x, y) menunjukkan pernyataan "x lebih besar dari y." Apa nilai kebenaran dari
mengikuti?
 a.Q(4, 2)
b.Q(7, 7)
c.Q(9, -9)
d.Q(28, 256)

2.Biarkan P(x) menjadi pernyataan "x bahagia," di mana alam semesta diskursus untuk x adalah himpunan
mahasiswa. Ungkapkan masing-masing kuantifikasi berikut dalam bahasa Inggris.

a. x P(x)
b. x P(x)
c. x P(x)
d. x P(x)

3.BiarkanP(x)menjadi pernyataan "x>x"2Jika

semesta pembicaraan adalah himpunan bilangan riil,
apa nilai kebenaran dari yang berikut ini?

a. P(0)
b. P(1/4)
c. P(5)
d. P(-1)
e. x P(x)
f. x P(x)

4. Misalkan bahwa alam pembicaraan dari rumus atom P(x,y) adalah {1, 2, 3}. Tulisakan...
mengikuti proposisi menggunakan disjungsi dan konjungsi.

a. x P(x, 2)
b. y P(3, y)
c. x y P(x, y)
d. x y P(x, y)
e. x y P(x, y)
f. y x P(x, y)

Dari Wff ke Proposisi

Subjek yang Akan Dipelajari

● interpretasi
● wff yang dapat dipuaskan
● wff tidak valid (wff yang tidak dapat dipenuhi)
● wff yang valid
● ekivalensi wffs

Daftar Isi

Interpretasi
Wff umumnya bukanlah sebuah proposisi. Misalnya, pertimbangkan wff x P(x). Anggaplah bahwa P(x)
berarti bahwa xis tidak negatif (lebih besar dari atau sama dengan 0). Wff ini benar jika semesta adalah
set{1, 3, 5}, set{2, 4, 6} atau himpunan bilangan bulat, contohnya, tetapi itu tidak benar jika
alam semesta adalah himpunan {-1, 3, 5}, atau himpunan bilangan bulat, misalnya.

Selanjutnya wff x Q(x, y), di mana Q(x, y) berarti x lebih besar dari y, untuk semesta {1, 3,
5} mungkin benar atau salah tergantung pada nilai y.

Seperti yang dapat dilihat dari contoh-contoh ini, nilai kebenaran dari wff ditentukan oleh alam semesta,
predikat spesifik yang ditugaskan kepada variabel predikat seperti PandQ, dan nilainya
ditugaskan ke variabel bebas. Spesifikasi dari alam semesta dan predikat, serta
penugasan nilai ke setiap variabel bebas dalam wff disebut sebagai interpretasi untuk wff tersebut.

Sebagai contoh, dengan menentukan himpunan {1, 3, 5} sebagai semesta dan menetapkan 0 untuk variabel y, untuk
contoh, adalah suatu interpretasi untuk wff x Q(x, y), di mana Q(x, y) berarti x lebih besar dari y.
Q(x, y) dengan interpretasi itu dibaca, misalnya, "Setiap angka dalam himpunan {1, 3, 5} lebih besar
than0".

Seperti yang terlihat dari contoh di atas, wff menjadi proposisi ketika diberikan sebuah
interpretasi.

Namun, ada wffs yang selalu benar atau selalu salah di bawah interpretasi apa pun. Itu
dan konsep terkait dibahas di bawah ini.

Wffs yang Memuaskan, Tidak Memuaskan dan Valid

Sebuah wff dikatakan dapat dipuaskan jika ada interpretasi yang membuatnya benar, yaitu jika ada
adalah suatu alam semesta, predikat spesifik yang ditetapkan untuk variabel predikat, dan sebuah penugasan dari
nilai untuk variabel bebas yang membuat wff benar.

Misalnya, x N(x), di mana N(x) berarti x tidak negatif, adalah dapat dipuaskan. Karena jika
alam semesta adalah himpunan bilangan bulat positif, pernyataan x N(x) adalah benar, karena semua bilangan bulat positif
angka tidak negatif. Demikian pula x N(x) juga dapat dipenuhi.

Namun,x[N(x) N(x)]tidak dapat dipenuhi karena itu tidak pernah benar. Sebuah wff disebut
tidak valid atau tidak terpenuhi, jika tidak ada interpretasi yang menjadikannya benar.

Wff adalah valid jika ia benar untuk setiap interpretasi*.

Sebagai contoh, wff x P(x) x P(x) valid untuk nama predikat P mana saja, karena x P(x)
adalah negasi dari x P(x).

Namun, wff x N(x) dapat dipenuhi tetapi tidak valid.

Perhatikan bahwa wff tidak valid jika dan hanya jika tidak dapat dipuaskan, karena wff yang valid ekuivalen dengan benar. Oleh karena itu,
negasi adalah salah.

Kesetaraan
Dua wff1danW2adalah setara jika dan hanya jika W1 W2adalah sah, yaitu jika dan hanya jika W1
W2adalah benar untuk semua interpretasi.
Misalnya x P(x) dan x P(x) adalah ekuivalen untuk nama predikat mana pun P. Jadi adalah x
[ P(x) Q(x) ]dan[xP(x) xQ(x) ]untuk semua nama predikat P dan Q.

*
Untuk lebih jelasnya, ini bukan untuk setiap interpretasi tetapi untuk yang "masuk akal". Sebagai contoh
Anda tidak menganggap alam semesta dari sekumpulan orang untuk predikat x > 1 sebagai suatu interpretasi.

Juga, sebuah interpretasi menetapkan sebuah predikat spesifik untuk setiap variabel predikat. Sebuah yang ketat
definisi interpretasi dll. adalah, bagaimanapun, di luar ruang lingkup kursus ini.

Mentranskripsi Bahasa Inggris ke wff logika predikat

Mata Pelajaran yang Akan Dipelajari

● Menerjemahkan kalimat bahasa Inggris ke wff

Isi
Kalimat bahasa Inggris yang muncul dalam penalaran logis dapat diekspresikan sebagai wff. Ini membuat
ungkapan yang padat dan tepat. Dengan demikian, hal ini menghilangkan kemungkinan salah tafsir dari
kalimat. Penggunaan logika simbolis juga membuat penalaran formal dan mekanis, berkontribusi
untuk menyederhanakan pemikiran dan membuatnya kurang rentan terhadap kesalahan.

Mentrankripsi kalimat bahasa Inggris menjadi wffs kadang-kadang merupakan tugas yang tidak sepele. Di kursus ini kami
khawatir dengan transkripsi menggunakan simbol predikat yang diberikan dan alam semesta.

Untuk mentranskripsikan sebuah proposisi yang dinyatakan dalam bahasa Inggris menggunakan seperangkat simbol predikat yang diberikan, pertama
Nyatakan kembali dalam bahasa Inggris proposisi tersebut menggunakan predikat, penghubung, dan kuantor. Kemudian
Gantilah frasa dalam bahasa Inggris dengan simbol yang sesuai.

Contoh: Mengingat kalimat "Tidak setiap bilangan bulat adalah genap", predikat "E(x)" berarti x adalah
bahkan, dan bahwa alam semesta adalah kumpulan angka bulat,

Tidak benar bahwa setiap bilangan bulat genap atau tidak benar bahwa untuk setiap
objek di alam semesta, x adalah bahkan.

Maka "itu tidak terjadi" dapat diwakili oleh konektor " ", "setiap objek x dalam
"semesta" oleh "x", dan "xis bahkan" oleh E(x).

Dengan demikian, wff menjadi x E(x).

Kalimat yang diberikan ini juga dapat diartikan sebagai "Beberapa bilangan bulat tidak genap". Maka bisa jadi
dinyatakan sebagai "Untuk beberapa objek x di alam semesta, x tidak genap". Maka menjadi x E(x).

Lebih banyak contoh: Beberapa kalimat lagi dengan wff yang sesuai diberikan di bawah ini. Semesta
diasumsikan sebagai himpunan bilangan bulat, E(x) mewakili x genap, dan O(x) x ganjil.

Beberapa bilangan bulat adalah genap dan beberapa adalah ganjil

 x E(x) x O(x)

Tidak ada bilangan bulat yang genap

x E(x)

Jika sebuah bilangan bulat tidak genap, maka itu ganjil

x [ E(x) O(x)]

2 adalah genap

E(2)

Dalam terjemahan ini, properti dan hubungan disebutkan untuk

jenis elemen tertentu di alam semesta seperti hubungan antara bilangan bulat di alam semesta
dari angka daripada alam semesta bilangan bulat. Dalam kasus seperti itu, jenis elemen ditentukan sebagai
sebuah prasyarat menggunakan konstruksi if_then.

Contoh: Dalam contoh-contoh berikut, alam semesta adalah himpunan angka termasuk angka real
angka, dan bilangan kompleks. I(x), E(x)danO(x)mewakili "x adalah bilangan bulat", "x adalah genap",
dan "xis ganjil", masing-masing.

"Semua bilangan bulat adalah genap" ditranskripsikan sebagai

x [ I(x) E(x)]

Ini dinyatakan kembali sebagai "Untuk setiap objek di alam semesta (yang berarti untuk setiap angka dalam kasus ini) jika
itu adalah bilangan bulat, maka itu genap". Di sini kita tertarik pada objek (angka) bukan sembarang tetapi a
jenis objek tertentu, yaitu bilangan bulat. Tetapi jika kita menulis xit berarti "untuk setiap objek di dalam
universe". Jadi kita harus mengatakan "Untuk setiap objek, jika itu adalah bilangan bulat .." untuk mempersempitnya ke bilangan bulat.

Beberapa bilangan bulat adalah ganjil dapat dinyatakan ulang sebagai "Ada objek yang merupakan bilangan bulat dan ganjil"
yang diekspresikan sebagai

x [ I(x) O(x)]

Sebuah angka hanya genap jika itu adalah bilangan bulat

x [ E(x) I(x)]

Hanya bilangan bulat yang genap setara dengan "Jika itu genap, maka itu adalah bilangan bulat".

x [ E(x) I(x)]

UNIT 4 - AKTIVITAS 2
1.Biarkan L(x, y) menjadi predikat "x menyukai y," dan biarkan alam semesta diskusi menjadi himpunan semua
orang. Gunakan kuantor untuk mengekspresikan masing-masing pernyataan berikut.
 Semua orang menyukai semua orang.

b) Setiap orang suka kepada seseorang.

c) Seseorang tidak suka kepada siapa pun.

d) Semua orang menyukai George.

e) Ada seseorang yang disukai semua orang.

f) Tidak ada seorang pun yang disukai oleh semua orang.

g) Tidak semua orang menyukai seseorang.

2. Biarkan S(x) menjadi predikat "x adalah seorang siswa," B(x) predikat "x adalah sebuah buku," dan H(x,y) menjadi
predikat "xhasy," di mana alam semesta percakapan adalah alam semesta, yaitu himpunan semua
objek. Gunakan kuantor untuk menyatakan masing-masing pernyataan berikut.

Setiap siswa memiliki sebuah buku.

b) Beberapa siswa tidak memiliki buku.

c) Beberapa siswa memiliki semua buku.

d) Tidak semua siswa memiliki buku.

e) Ada sebuah buku yang dimiliki setiap siswa.

3.Biarkan B(x), E(x) dan G(x) menjadi pernyataan "x adalah buku, " "x mahal, " dan "x baik,"
secara berurutan. Ungkapkan masing-masing pernyataan berikut menggunakan kuantor; konektor logis;
danB(x),E(x)danG(x), di mana alam semesta diskursus adalah kumpulan semua objek.

Tidak ada buku yang mahal.

b. Semua buku mahal itu baik.
c. Tidak ada buku yang bagus.
d. Apakah (c) mengikuti dari (a) dan (b)?

4.Biarkan G(x), F(x), Z(x), dan M(x) menjadi pernyataan "x adalah seekor jerapah," "x adalah 15 kaki atau lebih tinggi," "x adalah
di kebun binatang ini, " dan "x milik saya," masing-masing. Misalkan bahwa alam semesta pembicaraan adalah
kumpulan hewan. Nyatakan masing-masing dari pernyataan berikut menggunakan kuantor; konektor logis;
danG(x),F(x),Z(x), danM(x).

a. Tidak ada hewan, kecuali jerapah, yang tingginya 15 kaki atau lebih;
b. Tidak ada hewan di kebun binatang ini yang dimiliki oleh siapa pun selain saya;
c. Saya tidak memiliki hewan yang lebih rendah dari 15 kaki.
d. Oleh karena itu, semua hewan di kebun binatang ini adalah jerapah.
e. Apakah (d) mengikuti dari (a), (b), dan (c)? Jika tidak, apakah ada kesimpulan yang benar?
Penalaran
Mata Pelajaran yang Akan Dipelajari

● Aturan inferensi logika predikat

○ instansiasi universal
generalisasi universal
○ instansiasi eksistensial
○ generalisasi eksistensial
○ negasi dari pernyataan kuantifikasi
● penarikan kesimpulan dalam logika predikat

Isi
Logika predikat lebih kuat daripada logika proposisional. Itu memungkinkan seseorang untuk beralasan tentang
sifat dan hubungan objek individu. Dalam logika predikat, seseorang dapat menggunakan beberapa
aturan inferensi tambahan, yang dibahas di bawah ini, serta yang untuk logika proposisional
seperti ekuivalensi, implikasi, dan aturan inferensi.

Empat aturan berikut menggambarkan kapan dan bagaimana kuantor universal dan eksistensial dapat digunakan.
ditambahkan ke atau dihapus dari suatu pernyataan.

Instansiasi Universal:

x P(x)
-------
P(c)
di mana c adalah beberapa elemen sewenang-wenang dari alam semesta.

Aturan:

x P(x)

-------

P(c)

dimana c adalah beberapa elemen sembarangan dari alam semesta.

Pembatasan:

Jika c adalah variabel, maka c tidak boleh sudah terkuantifikasi di mana pun dalam P(x) --- lihat Penjelasan
dan Catatan di bawah.

Penjelasan:
Apa yang dikatakan aturan ini adalah bahwa dari x P(x) seseorang dapat menyimpulkan P(c) untuk objek mana pun di alam semesta
dilambangkan oleh variabel c, sehingga menghilangkan kuantor universal. Perlu dicatat bahwa P
berlaku untuk objek spesifik mana pun di alam semesta dalam kasus ini. Aturan ini diikuti karena x P(x) mengatakan
bahwa P(x) berlaku untuk semua objek di alam semesta. Perhatikan bahwa P(x), secara umum, mungkin merupakan
wff kompaun yang melibatkan sejumlah predikat, variabel, dan kuantor. Jadi c dalam P(c) harus
tidak menjadi variabel yang terukur dalam P(x). Lihat Catatan di bawah untuk contoh tentang apa yang bisa
happen c tidak dipilih dengan benar.

Contoh:

Contohnya, argumen berikut dapat dibuktikan benar menggunakan Instansiasi Universal: "Tidak
manusia bisa terbang. John Doe adalah manusia. Oleh karena itu John Doe tidak bisa terbang.

Pertama, mari kitaungkapkan ini menggunakan notasi berikut:

F(x) berarti "x bisa terbang."

H(x) berarti "x adalah manusia."

d adalah simbol yang mewakili John Doe.

Maka argumennya adalah

[ x [H(x) F(x)] H(d) ] F(d).

Buktinya adalah

1. x [H(x) F(x)] Hipotesis

2. H(d) Hipotesis

3. H(d) F(d) Instansiasi universal pada 1.

4. F(d) Modus ponens pada 2 dan 3.

Catatan:

Jika pembatasan pada Instansiasi Universal tidak ada, maka y x P(x,y) mungkin menjadi
x P(x,x), yaitu x telah disubstitusi untuk y oleh Instansiasi Universal, yang tidak
benar.
 2. Generalisasi Universal:

P(c)
----------
x P(x)
whereP(c) berlaku untuk setiap elemen c dari alam semesta diskursus.

Aturan:

P(c)

----------

x P(x)

whereP(c) berlaku untuk setiap elemen c dari alam semesta pembicaraan.

Pembatasan:

x tidak boleh muncul sebagai variabel bebas dalam P(c).

Penjelasan:

Apa yang dikatakan aturan ini adalah bahwa jika P(c) berlaku untuk sembarang elemen c dari alam semesta, maka kita dapat
menyimpulkan bahwa x P(x).

Namun, jika c dianggap mewakili suatu elemen tertentu dari alam semesta yang memiliki
properti P, maka tidak dapat digeneralisasikan ke semua elemen. Misalnya, jika P(x) berarti "x adalah
cepat", maka semua yang berarti adalah bahwa elemen yang tidak ditentukan yang diwakili oleh x adalah cepat. Itu tidak
tidak berarti bahwa segala sesuatu di alam semesta ini cepat.

Aturan ini adalah sesuatu yang dapat kita gunakan ketika kita ingin membuktikan bahwa sifat tertentu berlaku untuk setiap
elemen dari alam semesta. Itulah saat kita ingin membuktikan x P(x), kita mengambil elemen sembarang
x di alam semesta dan buktikan P(x). Maka dengan Generalisasi Universal ini kita dapat menyimpulkan x
P(x).

Contoh:

Sebagai contoh, pertimbangkan argumen berikut: Untuk setiap angka x jika x > 1, maka x - 1 > 0. Juga
untuk setiap angka x, x > 1. (Di sini kita membuat argumen hipotetis. Kita tahu, tentu saja,
setiap angka tidak lebih besar dari 1.)

Dengan demikian, kami menyimpulkan bahwa untuk setiap angka x, x - 1 > 0.

Argumen ini dapat dibenarkan sebagai berikut dengan menggunakan Generalisasi Universal ini.

Biarkan P(x) mewakili x > 1, dan Q(x) mewakili x - 1 > 0.

Maka argumen di atas diwakili oleh

[ x [P(x) Q(x)] x P(x)] x Q(x).

Untuk membuktikannya, kami melanjutkan sebagai berikut:

1. x [P(x) Q(x)] Hipotesis

2. x P(x) Hipotesis

3. [P(x) Q(x)] Instansiasi Universal pada 1.

4. P(x) untuk x yang sama seperti di 3. Instansiasi Universal pada 2.

5. Q(x) Modus ponens pada 3 dan 4.

6. x Q(x) Generalisasi Umum pada 6.

Catatan:

Tanpa pembatasan pada Generalisasi Universal, seseorang dapat menyimpulkan x P(x) dari P(x).
Namun, deduksi ini tidak benar. Karena, apa yang dimaksud P(x) adalah P(x) berlaku untuk suatu yang tidak ditentukan.
elemen x, tetapi itu tidak secara otomatis berarti bahwa P(x) berlaku untuk semua x.

3.Instansiasi Eksistensial:

x P(x)
-------
P(c)
dimana ada beberapa elemen dari alam semesta pembicaraan. Ini tidak sembarangan tetapi harus satu
untuk P(c) mana yang benar.

Aturan:

x P(x)

-------

P(c)

dimana ada beberapa elemen dari lingkup pembicaraan. Itu tidak sembarangan tetapi harus satu untuk
yang P(c) benar.
Pembatasan:

c harus menjadi nama baru atau simbol tetap.

Penjelasan:

Aturan ini mengatakan bahwa jika P berlaku untuk beberapa elemen dari alam semesta, maka kita dapat memberikan itu.
elemen a nama seperti c (atau x, y, a dll). Saat memilih simbol, seseorang harus memilihnya satu per satu.
satu waktu dan tidak boleh menggunakan simbol yang sudah dipilih dalam waktu yang sama
penalaran/bukti.

Contoh:

Sebagai contoh, jika x P(x) Jika Q(x) benar, maka pilih sebuah nama untuk P, katakan c, kemudian untuk Q, katakan d.
Seseorang TIDAK boleh memilih c untuk Q serta untuk P.

Pertimbangkan argumen berikut: Jika Anda mendapatkan nilai 95 pada ujian akhir untuk CS 398, maka Anda mendapatkan A
untuk mata kuliah. Seseorang, sebut saja c, mendapatkan 95 pada ujian akhir. Oleh karena itu c mendapatkan nilai A
untuk CS398. Argumen ini menggunakan Pemasangan Eksistensial serta beberapa lainnya seperti yang dapat
terlihat di bawah.

Biarkan alam semesta menjadi himpunan semua orang di dunia, biarkan N(x) berarti bahwa x mendapatkan 95 pada ujian akhir
ujian CS398, dan biarkan A(x) mewakili bahwa x mendapatkan nilai A untuk CS398.

Kemudian buktinya dilanjutkan sebagai berikut:

1. x [ N(x)
A(x) Hipotesis

2. x N(x) Hipotesis

3. N(c) Instansiasi eksistensial pada 3.

4. N(c) A(c) Instansiasi universal pada 1.

5. A(c) Modus ponens pada 3 dan 4.

Pada langkah 3 di atas, seseorang yang memiliki properti N diberikan nama c. Untuk orang yang sama itu
c, pernyataan [ N(c) A(c) ] berlaku berdasarkan instansiasi universal.

Perhatikan bahwa urutan langkah 3 dan 4 tidak dapat dibalik.

 4. Generalisasi Eksistensial:

P(c)
----------
x P(x)
dimana cis adalah elemen dari alam semesta.

Aturan:

P(c)

----------

x P(x)

dimana c adalah elemen dari alam semesta.

Pembatasan:

x tidak boleh muncul bebas di P(c).

Penjelasan:

Apa yang dikatakan aturan ini adalah bahwa jika ada elemen c dalam universe yang memiliki sifat P,
maka kita dapat mengatakan bahwa ada sesuatu di alam semesta yang memiliki sifat P.

Contoh:

Sebagai contoh, pernyataan "jika semua orang bahagia, maka seseorang bahagia" dapat dibuktikan benar
menggunakan aturan generalisasi eksistensial ini.

Untuk membuktikannya, pertama anggaplah alam semesta adalah himpunan semua orang dan biarkan H(x) berarti bahwa x bahagia.

Maka argumennya adalah

x H(x) x H(x)

Buktinya adalah

1. x H(x) Hipotesis

2. H(c) Instansiasi universal

4. xH(x) Generalisasi eksistensial.

Catatan:
Tanpa batasan bahwa x tidak boleh muncul bebas dalam P(c), seseorang dapat menghasilkan rumus yang tidak benar
dengan generalisasi eksistensial. Sebagai contoh, x Q(x, x) dapat diturunkan dari Q(x,c) melalui eksistensial
generalisasi. Tapi Q(x,c) x Q(x, x) tidak valid, seperti yang dapat Anda lihat jika Q(x,y) berarti "x tidak
sama dengan y", atau "x > y", misalnya.

Negasi Pernyataan Terukur

Aturan inferensi penting lainnya adalah sebagai berikut:

x P(x) x P(x)

Ini, misalnya, menunjukkan bahwa jika P(x) mewakili x bahagia dan alam semesta adalah kumpulan orang,
Maka "Tidak ada orang yang bahagia" setara dengan "Semua orang tidak bahagia".

Oleh karena itu, sisi kiri dapat diganti dengan sisi kanan kapan pun diperlukan dalam penalaran dan
sebaliknya.

Contoh:
Sebagai contoh inferensi menggunakan aturan-aturan ini, mari kita pertimbangkan penalaran berikut:

Cek dianggap batal jika belum dicairkan selama 30 hari. Cek ini belum dicairkan selama
30 hari. Oleh karena itu, cek ini batal. Anda tidak dapat mencairkan cek yang batal. Oleh karena itu
Anda tidak dapat mencairkan cek ini. Kami sekarang memiliki cek yang tidak dapat dicairkan.

Ini dapat dimasukkan ke dalam bentuk simbolis menggunakan predikat berikut dengan menganggap alam semesta adalah
himpunan semua objek:

C(x):x adalah cek.

T(x):x telah dibayarkan dalam 30 hari.

V(x): x kosong.

S(x): x dapat dicairkan.

Cek ini mewakili objek spesifik di alam semesta yang sesuai dengan "cek ini".

x[ [C(x) T(x) ] V(x) ]

T(Pemeriksaan_ini)

-----------------------------------

V(Pemeriksaan_ini)

x[ [C(x) V(x) S(x) ]

-----------------------------------------------
 S(Pemeriksaan_ini)

-----------------------------------------------

x[C(x) S(x) ].

Di sini penalaran berlangsung sebagai berikut:

Dari x[ [C(x) T(x) ] V(x) ]oleh Instansiasi Universal

C(This_check) T(I(ini_periksa)) V(Cek_ini) ]

Karena This_check adalah cek dan T(Pemeriksaan_ini) ,

[C(Cek_ini) T(This_check) ]menahan.

Oleh karena itu

[ [C(Cek_ini) T(Pemeriksaan_ini) ] V(Ini_periksa)

[C(Cek_ini) T(Ini_cek) ]

---------------------------------------------------------

V(This_check)

oleh Modus Ponens.

Kemudian dari x[ [C(x)V(x) ] S(x) ]oleh Instansiasi Universal,

[ [C(Pemeriksaan_ini)V(Pemeriksaan_ini) ] S(Cek_ini) ]

SejakV(Cek_ini), danC(Cek_ini),

[ [C(Pemeriksaan_ini)V(Pemeriksaan_ini) ] S(This_check)

[C(Pemeriksaan_ini)V(Pemeriksaan_ini)]

----------------------------------------------------

S(Pemeriksaan_ini)

oleh Modus Ponens.

KarenaC(Pemeriksaan_ini) juga berlaku,

S(Pemeriksaan_ini)

C(Pemeriksaan_ini)

----------------------------------------------------
C(Pemeriksaan_ini) S(Pengujian_ini)

Kemudian melalui Generalisasi Eksistensial x[C(x)] S(x) ] .

UNIT 4 - AKTIVITAS 3
1.Tunjukkan bahwa pernyataan tersebut x y P(x, y) dan x y P(x, y) memiliki nilai kebenaran yang sama.

2.Untuk masing-masing argumen berikut, jelaskan aturan-aturan penarikan kesimpulan yang digunakan untuk setiap langkah.
Semesta adalah kumpulan orang.

a. "John, seorang siswa di kelas ini, berusia 16 tahun. Setiap orang yang berusia 16 tahun dapat mendapatkan a
surat izin mengemudi. Oleh karena itu, seseorang di kelas ini dapat mendapatkan surat izin mengemudi.
Seseorang di kelas ini suka mendaki. Setiap orang yang suka mendaki juga suka
bersepeda. Oleh karena itu, ada seseorang di kelas ini yang suka bersepeda.
c. "Setiap siswa di kelas ini memiliki komputer pribadi. Setiap orang yang memiliki komputer pribadi
komputer dapat menggunakan Internet. Oleh karena itu, John, seorang siswa di kelas ini, dapat menggunakan
Internet.
d. "Setiap orang di kelas ini memiliki komputer pribadi. Seseorang di kelas ini belum pernah
menggunakan Internet. Oleh karena itu, seseorang yang memiliki komputer pribadi belum pernah menggunakan
internet.

3.Tentukan apakah masing-masing argumen berikut adalah valid. Jika suatu argumen benar, apa
apakah aturan penarikan kesimpulan sedang digunakan? Jika tidak, apa kesalahan yang terjadi?

2
Jika n adalah bilangan riil dengan n > 1, maka n1. Misalkan bahwa2<= 1. Thenn<= 1.
Jika n adalah bilangan riil dengan n > 1, maka n> 1. Anggaplah bahwa21. Thenn> 1.
2

UNIT 4 - AKTIVITAS 4
1.Tunjukkan bahwa x P(x) x Q(x) dan x(P(x) Q(x)) tidak setara secara logis.

2.Tunjukkan bahwa x P(x) x Q(x) dan x y (P(x) Q(y)) adalah ekuivalen.