• 

Predikat

Subjek Predikat
•Kita
  dapat menyatakan pernyataan " lebih besar dari 3" sebagai ,
di mana menunjukkan predikat "lebih besar dari 3" dan adalah
variabel.
Pernyataan adalah juga dikatakan sebagai nilai fungsi proposisi pada .
Setelah nilai untuk variabel ditetapkan, pernyataan menjadi proposisi
dan memiliki nilai kebenaran.

Apakah nilai kebenaran untuk dan ?

Contoh
•1.  Misalkan A (x) menyatakan proposisi "Komputer diserang oleh
penyusup." Misalkan dari komputer di kampus, hanya CS2 dan
MATH1 yang saat ini sedang diserang oleh penyusup. Apa nilai
kebenaran A (CS1), A (CS2), dan A (MATH1)?
2. Misalkan Q (x, y) menyatakan proposisi “x = y + 3.” Apa nilai-nilai
kebenaran dari proposisi Q(1, 2) dan Q(3, 0)?
3. if x > 0 then x := x + 1.
Prekondisi dan Postkondisi

Predikat juga digunakan dalam

pemrograman komputer. Salah satunya
adalah untuk mendapatkan output yang
sesuai ketika diberikan input yang valid.
Pernyataaan yang mendeskripsikan input
yang valid disebut prekondisi. Sedangkan
kondisi yang outputnya terpenuhi setelah
program dijalankan disebut postkondisi
Contoh

Program yang dirancang untuk menukar nilai dua variabel x dan y.

switch: = x
x: = y
y: = switch
Temukan predikat yang bisa kita gunakan sebagai prekondisi dan
postkondisi untuk memverifikasi kebenaran dari program ini.
Kemudian jelaskan bagaimana menggunakannya untuk memverifikasi
bahwa untuk semua input yang valid, program melakukan apa yang
dimaksudkan?
•Prekondisi
  adalah proposisi “ dan ”
Postkondisi adalah proposisi “ dan ”
Perintah Output
Prekondisi ;;
switch: = x ;;
x: = y ;;
y: = switch ;;

Setelah program dijalankan Postkondisi terpenuhi.

Kuantifikasi
Ketika variable-variable yang ada di fungsi proposisi memiliki beberapa
nilai, proposisinya mempunyai beberapa nilai kebenaran.
Untuk menyatakan nilai kebenaran dari fungsi proposisi ini digunakan
konsep kuantifikasi. Kuantifikasi menyatakan predikat mana yang benar
dari elemen hasil. Kita akan fokus membahas dua jenis kuantor, yaitu
kuantor universal dan kuantor eksistensial
 Kuantor Universal

• 

Pernyataan Kapan Benar Kapan Salah

 
•Tentukan
  nilai kebenaran ∀x () jika:
• bilangan real
• bilangan bulat
 Kuantor Eksistensial

• 

Pernyataan Kapan Benar Kapan Salah

 
 Kuantor Tunggal

 
Latihan
1. Apakah nilai kebenaran dari ∀x∃y (x + y = 320)?
2. Apakah nilai kebenaran dari ∃x∀y (x + y = 320)?
3. Apakah nilai kebenaran dari ∀x∃!y (x + y = 320)?
 Kuantor dengan Domain Terbatas

• 
• 
Menyajikan formula predikat
1. Ada seseorang yang mengenal setiap orang.
2. Jika x adalah bilangan antara 1 dan 2, dan jika y antara 2 dan 3,
maka selisih antara x dan y tidak lebih dari 3.
3. Ada bilangan yang lebih besar dari yang lainnya, tetapi semua
bilangan kecuali 0 lebih besar dari 0.