6 Logika relasional kuantor Logika relasional Bandingkan proposisi berikut 1 Budi adalah mahasiswa 2 Semua manusia adalah makhluk hidup 3 ID: 639022
Download Presentation The PPT/PDF document "Logika informatika" is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
Slide1
Logika informatika
6Slide2
Logika
relasional
:
kuantor
Logika
relasionalSlide3
Bandingkan
proposisi berikut : 1. Budi adalah mahasiswa 2. Semua manusia adalah makhluk hidup 3. Beberapa binatang adalah hewan menyusui
Proposisi berkuantorSlide4
1. Budi
adalah
mahasiswa dapat ditulis dalam logika predikat : mahasiswa(Budi) Proposisi
berkuantorSlide5
2.
Semua
manusia adalah mahluk hidup 3. Beberapa binatang adalah hewan menyusuibagaimana ?Proposisi seperti ini dikatakan
bersifat umumProposisi
berkuantorSlide6
Proposisi
yang bersifat umum dapat ditulis dalam Logika Relasional dengan tambahan KUANTOR, yaitu : 1. Kuantor Umum (Universal Quantifier) 2.
Kuantor Khusus (Existential Quantifier) Proposisi
berkuantorSlide7
Proposisi
yang
bersifat umum : UQ : Semua, Setiap, Tidak ada EQ : Beberapa, Paling sedikit, ada proposisi yang mempunyai ciri tersebut jika ditulis
dalam logika relasional melibatkan kuantor
Proposisi
berkuantorSlide8
Ada
tiga Istilah Natural : proposisi yang ditulis secara umum Literal : proposisi yang artinya menjelaskan dari Natural Logika Relasional
(FoL) : penulisanya dengan simbol
Proposisi
berkuantorSlide9
Contoh 1:
semua mahasiswa adalah intelektual Literalnya : untuk setiap objek dimana objek itu adalah mahasiswa maka objek itu adalah intelektualLogika RelasionalSlide10
jika
kata objek dan kata objek itu diganti variabel X, maka : untuk setiap X dimana X adalah
mahasiswa maka X adalah intelektual
Logika
RelasionalSlide11
jika kata :
untuk
setiap X simbolnya = x X adalah mahasiswa = mhs(X)X adalah intelektual = intlktl(X)Logika Relasionalnya :x(mhs
(x) intlkl(x))
Logika
RelasionalSlide12
Contoh
2
: Semua bilangan integer mempunyai faktor prima Literalnya :
Logika
RelasionalSlide13
Literalnya
: untuk setiap objek dimana objek itu adalah bilangan integer maka objek itu adalah mempunyai faktor prima
Logika
RelasionalSlide14
jika
kata objek dan kata objek itu diganti variabel X, maka : untuk setiap X dimana X adalah
bilangan integer maka X adalah mempunyai faktor prima
Logika
RelasionalSlide15
untuk
setiap X dimana X adalah bilangan integer maka X adalah mempunyai faktor primaJika :untuk setiap X = x
X adalah bilangan integer = Int(x)X adalah mempunyai faktor prima =
fak_prim(x)
Logika
RelasionalSlide16
Logika
Relasionalnya :x(int(x) fak_prim(x))
Logika
RelasionalSlide17
Soal
diketahui proposisi 1. Semua guru adalah pendidik 2. Semua penyair adalah sastrawan 3. Semua profesor adalah
orang kaya 4. Semua ahli matematika adalah orang
yang menarik 5.
Semua ilmuwan adalah
seorang
peneliti
Logika
RelasionalSlide18
Contoh
3 : Beberapa mahasiswa adalah intelektual Literalnya ? :
Logika
RelasionalSlide19
Literalnya
:
Paling sedikit ada satu X dimana X mahasiswa dan X intelektualx(mahasiswa(x) intelektual(x))
Logika
RelasionalSlide20
Literalnya
? :
Paling sedikit ada satu objek dimana objek itu mahasiswa dan objek itu intelektualJika kata objek
dan objek itu diganti variabel X
Logika
RelasionalSlide21
Soal
diketahui proposisi 1. Beberapa guru adalah pengusaha 2. Beberapa sastrawan adalah penyair 3. Beberapa profesor adalah seorang menteri
4. Beberapa ahli matematika adalah bukan ahli komputer 5.
Beberapa ilmuwan
adalah bukan
peneliti
Logika
RelasionalSlide22
Contoh
1
Setiap mobil terdapat suatu sepeda motor yang lebih mahal dari mobil
Logika
RelasionalSlide23
Contoh
2
Beberapa orang yang berada di pacuan kuda kehilangan uang tetapi beberapa orang yang cerdas tidak kehilangan
Logika
RelasionalSlide24
Contoh
3
- Beberapa filosofer sayang pada semua ahli matematika
Logika
RelasionalSlide25
Contoh
4
- Setiap orang yang menonton bola kehilangan uang kecuali orang yang cerdik
Logika
RelasionalSlide26
Contoh
5
- Beberapa filosofer yang bukan ahli matematika sayang pada Alysa
Logika
RelasionalSlide27
Contoh
6
- Setiap ahli matematika yang sayang pada Alysa adalah seorang filosofer
Logika
RelasionalSlide28
SLIDE
6
SELESAI