Universitas Riau
(Universitas Riau)
Kuantor
1 / 15
Outline
Quantiers
(Universitas Riau)
Kuantor
2 / 15
Logika
(Universitas Riau)
Kuantor
3 / 15
Logika
(Universitas Riau)
Kuantor
3 / 15
Logika
(Universitas Riau)
Kuantor
3 / 15
Logika
(Universitas Riau)
Kuantor
3 / 15
Logika
(Universitas Riau)
Kuantor
3 / 15
Logika
(Universitas Riau)
Kuantor
4 / 15
Logika
(Universitas Riau)
Kuantor
4 / 15
Logika
(Universitas Riau)
Kuantor
4 / 15
Logika
(Universitas Riau)
Kuantor
4 / 15
Logika
(Universitas Riau)
Kuantor
4 / 15
Logika
(Universitas Riau)
Kuantor
4 / 15
Logika
(Universitas Riau)
Kuantor
4 / 15
Logika
(Universitas Riau)
Kuantor
4 / 15
Logika
Examples
1
Misalkan P (x ) : "x > 1". Tentukan nilai kebenaran dari P (2) dan
P (0) .
(Universitas Riau)
Kuantor
5 / 15
Logika
Examples
1
Misalkan P (x ) : "x > 1". Tentukan nilai kebenaran dari P (2) dan
P (0) .
(Universitas Riau)
Kuantor
5 / 15
Logika
Examples
1
Misalkan P (x ) : "x > 1". Tentukan nilai kebenaran dari P (2) dan
P (0) .
(Universitas Riau)
Kuantor
5 / 15
Logika
(Universitas Riau)
Kuantor
6 / 15
Logika
(Universitas Riau)
Kuantor
6 / 15
Logika
(Universitas Riau)
Kuantor
6 / 15
Logika
(Universitas Riau)
Kuantor
6 / 15
Logika
Denition
Kuantikasi Universal dari P (x ) adalah pernyataan :
"P (x ) untuk semua nilai x di domain".
Notasi 8xP (x ) menyatakan kuantikasi universal dari P (x ) . 8 disebut
kuantier universal. 8xP (x ) dibaca : "untuk setiap x P (x ) ". Elemen
dimana P (x ) salah disebut sebagai counterexample dari 8xP (x ) .
Example
Misalkan P (x ) merupakan pernyataan "x + 1 > x". Apa nilai
kebenaran dari kuantikasi 8xP (x ) , dimana domainnya adalah
semua bilangan real?
(Universitas Riau)
Kuantor
7 / 15
Logika
Denition
Kuantikasi Universal dari P (x ) adalah pernyataan :
"P (x ) untuk semua nilai x di domain".
Notasi 8xP (x ) menyatakan kuantikasi universal dari P (x ) . 8 disebut
kuantier universal. 8xP (x ) dibaca : "untuk setiap x P (x ) ". Elemen
dimana P (x ) salah disebut sebagai counterexample dari 8xP (x ) .
Example
Misalkan P (x ) merupakan pernyataan "x + 1 > x". Apa nilai
kebenaran dari kuantikasi 8xP (x ) , dimana domainnya adalah
semua bilangan real?
Misalkan Q (x ) merupakan pernyataan "x < 3". Apa nilai kebenaran
8xQ (x ), dimana domainnya adalah semua bilangan real?
(Universitas Riau)
Kuantor
7 / 15
Logika
(Universitas Riau)
Kuantor
^ P ( xn )
8 / 15
Logika
^ P ( xn )
Hal ini disebabkan karena konjungsi tersebut benar jika dan hanya jika
P (x1 ) , P (x2 ) ,
, P (xn ) semuanya benar.
(Universitas Riau)
Kuantor
8 / 15
Logika
^ P ( xn )
Hal ini disebabkan karena konjungsi tersebut benar jika dan hanya jika
P (x1 ) , P (x2 ) ,
, P (xn ) semuanya benar.
Example
Tentukan nilai kebenaran dari 8xP (x ) , dimana P (x ) adalah pernyataan
:"x 2 < 10" dan domainnya adalah bilangan bulat positif kecil dari 5.
(Universitas Riau)
Kuantor
8 / 15
Logika
Denition
Kuantikasi eksistensial dari P (x ) adalah pernyataan
"Terdapat satu elemen x didomain sedemikian sehingga P (x ) "
Kuantikasi eksistensial dari P (x ) dinyatakan dengan 9xP (x ) . 9 disebut
kuantier eksistensial. 9xP (x ) dibaca : "terdapat x sehingga P (x ) ".
Example
Misalkan P (x ) merupakan pernyataan "x = x + 1". Apa nilai
kebenaran dari kuantikasi 9xP (x ) , dimana domainnya adalah
semua bilangan real?
(Universitas Riau)
Kuantor
9 / 15
Logika
Denition
Kuantikasi eksistensial dari P (x ) adalah pernyataan
"Terdapat satu elemen x didomain sedemikian sehingga P (x ) "
Kuantikasi eksistensial dari P (x ) dinyatakan dengan 9xP (x ) . 9 disebut
kuantier eksistensial. 9xP (x ) dibaca : "terdapat x sehingga P (x ) ".
Example
Misalkan P (x ) merupakan pernyataan "x = x + 1". Apa nilai
kebenaran dari kuantikasi 9xP (x ) , dimana domainnya adalah
semua bilangan real?
Misalkan Q (x ) merupakan pernyataan "x < 3". Apa nilai kebenaran
9xP (x ), dimana domainnya adalah semua bilangan real?
(Universitas Riau)
Kuantor
9 / 15
Logika
(Universitas Riau)
Kuantor
_ P ( xn )
10 / 15
Logika
_ P ( xn )
Hal ini disebabkan karena disjungsi tersebut benar jika dan hanya jika
paling sedikit salah satu dari P (x1 ) , P (x2 ) ,
, P (xn ) benar.
(Universitas Riau)
Kuantor
10 / 15
Logika
_ P ( xn )
Hal ini disebabkan karena disjungsi tersebut benar jika dan hanya jika
paling sedikit salah satu dari P (x1 ) , P (x2 ) ,
, P (xn ) benar.
Example
Tentukan nilai kebenaran dari 9xP (x ) , dimana P (x ) adalah pernyataan
:"x 2 > 10" dan domainnya adalah bilangan bulat positif kecil dari 5.
(Universitas Riau)
Kuantor
10 / 15
Logika
(Universitas Riau)
Kuantor
11 / 15
Logika
(Universitas Riau)
8xP (x )
Kuantor
11 / 15
Logika
8xP (x )
Perhatikan bahwa
8xP (x )
(Universitas Riau)
Kuantor
9x
P (x )
11 / 15
Logika
8xP (x )
Perhatikan bahwa
8xP (x )
Negasi dari 9xP (x ) kita tulis
(Universitas Riau)
9x
P (x )
9xP (x )
Kuantor
11 / 15
Logika
8xP (x )
Perhatikan bahwa
8xP (x )
Negasi dari 9xP (x ) kita tulis
9x
9xP (x )
Perhatikan bahwa
9xP (x )
(Universitas Riau)
P (x )
Kuantor
8x
P (x )
11 / 15
Logika
Examples
1
(Universitas Riau)
Kuantor
12 / 15
Logika
Bagaimana menentukan negasi dari pernyataan majemuk berikut?
(Universitas Riau)
Kuantor
13 / 15
Logika
Bagaimana menentukan negasi dari pernyataan majemuk berikut?
(Universitas Riau)
Kuantor
13 / 15
Logika
Bagaimana menentukan negasi dari pernyataan majemuk berikut?
(Universitas Riau)
Kuantor
13 / 15
Logika
Bagaimana menentukan negasi dari pernyataan majemuk berikut?
(Universitas Riau)
Kuantor
(9y 2 Z) x 2 = 3y + 1
13 / 15
Logika
Bagaimana menentukan negasi dari pernyataan majemuk berikut?
(9y 2 Z) x 2 = 3y + 1
Kuantor
(8y 2 Z) x 2 6= 3y + 1
13 / 15
Logika
a j < ) jf (x )
Lj < e
(Universitas Riau)
Kuantor
14 / 15
Logika
Latihan.
1
P(kuning)
P(merah)
P(hijau)
(Universitas Riau)
Kuantor
15 / 15