KB 1 — Kalimat deklaratif dan bahan pembentuk kalimat

Kembali ke bagian induk

Cerita pengantar — penjelasan tambahan, data simulasi. Ani melihat papan koperasi. Ada tulisan “Koperasi buka”, pertanyaan “Koperasi buka pukul berapa?”, dan perintah “Tutup pintu!”. Ani ingin mencatat tulisan yang dapat diperiksa benar atau salah. Ia bisa memeriksa keadaan pintu untuk tulisan pertama. Pertanyaan meminta informasi, sedangkan perintah meminta tindakan.

Dari cerita ke notasi dan konsep BMP. Kalimat deklaratif menyatakan sesuatu yang bernilai benar atau salah, tidak keduanya dalam keadaan yang sama. Kalimat yang salah tetap deklaratif. Kalimat “2 + 2 = 3” merupakan contoh: pernyataannya salah, tetapi jelas dapat dinilai. Pertanyaan, perintah, dan seruan bukan proposisi dalam pembahasan ini.

P menamai “Koperasi buka”; Q menamai “Petugas hadir”. Nama itu belum menentukan nilainya. Simbol kebenaran true dan false sudah mempunyai nilai tetap. BMP menggunakan huruf P, Q, R, S, dengan atau tanpa indeks angka, sebagai simbol proposisional. Huruf E, F, G, H menamai kalimat dalam penjelasan; huruf itu bukan otomatis simbol atom yang sah menurut konvensi BMP.

Bahan	Contoh	Peran
Simbol kebenaran	`true`, `false`	Nilainya tetap
Simbol proposisional	P, Q, R, S, $P_{1}$	Nilainya ditetapkan interpretasi
Konektif	`not`, `and`, `or`, `if-then`, `if-and-only-if`, `if-then-else`	Membentuk kalimat dari kalimat
Tanda kurung	$(P \lor Q)$	Memperjelas pengelompokan