6 Logika relasional kuantor fol Bandingkan proposisi berikut 1 Budi adalah mahasiswa 2 Semua manusia adalah mahluk ID: 623850
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
folSlide3
Bandingkan
proposisi berikut : 1. Budi adalah mahasiswa 2. Semua manusia adalah mahluk hidup 3. Beberapa binatang adalah hewan menyusui
Proposisi berkuantorSlide4
1. Budi
adalah
mahasiswa dapat ditulis : 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, yaitu terdapat kata : Semua, Setiap ciri dari UQ Beberapa, Paling sedikit, ada ciri dari EQ maka proposisi
tersebut 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
proposisi Semua mahasiswa adalah entelektual Literalnya : untuk setiap objek dimana objek itu adalah mahasiswa maka
objek itu adalah intelektual
Proposisi
berkuantorSlide10
jika
kata objek dan kata objek itu diganti variabel X, maka : untuk setiap X dimana X adalah
mahasiswa maka X adalah intelektual
FoLSlide11
untuk
setiap X dimana X adalah mahasiswa maka X adalah intelektualuntuk setiap X = x X adalah
mahasiswa = mhs(X)X adalah intelektual = intlktl(X)x(mhs(x) intlkl
(x))
FoLSlide12
Contoh
2
proposisi Semua bilangan integer mempunyai faktor prima Literalnya : untuk setiap objek dimana objek itu adalah bilangan integer maka
objek itu adalah mempunyai faktor primaFoLSlide13
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
FoLSlide14
untuk
setiap X dimana X adalah bilangan integer maka X adalah mempunyai faktor primaJika :untuk setiap X = xX
adalah bilangan integer = Int(x)X adalah mempunyai faktor prima = fak_prim
(x)
FoLSlide15
Logika
Relasionalnya :x(int(x) fak_prim(x))FoLSlide16
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
peneliti
FoLSlide17
Contoh
2
proposisi Beberapa mahasiswa adalah entelektual Literalnya ? : FoLSlide18
Literalnya
? :
Paling sedikit ada satu objek dimana objek itu mahasiswa dan objek itu intelektualJika kata objek dan
objek itu diganti variabel X
FoLSlide19
Literalnya
:
Paling sedikit ada satu X dimana X mahasiswa dan X intelektualx(mahasiswa(x) intelektual(x)) FoLSlide20
Soal
diketahui proposisi 1. Beberapa guru adalah pengusaha 2. Beberapa sastrawan adalah penyair 3. Beberapa profesor adalah seorang menteri
4. Beberapa ahli matematika adalah ahli komputer 5. Beberapa
ilmuwan adalah bukan
peneliti
FoLSlide21
Contoh
1
- Setiap orang kehilangan uang pada saat nonton bola
FoLSlide22
Contoh
2
- Setiap kesatria pemberani adalah pahlawan
FoLSlide23
Contoh
3
- Beberapa filosofer sayang pada semua ahli matematika
FoLSlide24
Contoh
4
- Setiap orang yang menonton bola kehilangan uang kecuali orang yang cerdik
FoLSlide25
Contoh
5
- Beberapa filosofer yang bukan ahli matematika sayang pada Alysa
FoLSlide26
Contoh
6
- Setiap ahli matematika yang sayang pada Alysa adalah seorang filosofer
FoLSlide27
SLIDE
6
SELESAI