KB 2 — Notasi dan interpretasi

Kembali ke bagian induk

Cerita pengantar — penjelasan tambahan, data simulasi. Aturan koperasi yang sama ditulis di papan dengan kata-kata, di catatan dengan simbol, dan di program sebagai fungsi. Pengurus ingin memastikan ketiganya mengatakan hal yang sama. Ia juga mencatat keadaan hari ini: koperasi buka, tetapi petugas belum hadir. Catatan keadaan ini diperlukan untuk menilai kalimat.

Dari cerita ke notasi dan konsep BMP. Tiga notasi menyatakan struktur yang sama:

Pseudocode	Matematika	Notasi fungsi BMP
`not P`	$\neg P$	`not(P)`
`P and Q`	$P \land Q$	`and(P,Q)`
`if P then Q`	$P \Rightarrow Q$	`ifthen(P,Q)`
`P if and only if Q`	$P \Leftrightarrow Q$	`iff(P,Q)` dalam panduan ini
`if P then Q else R`	$ite (P, Q, R)$	`ifthenelse(P,Q,R)`

Nama iff dipakai sebagai singkatan penjelas. Notasi fungsi BMP merupakan notasi logika; and(P,Q) tidak dapat langsung dijalankan sebagai kode Python karena and adalah kata khusus Python.

Interpretasi I memberi tepat satu nilai untuk setiap simbol proposisional yang diperlukan. Contoh $I = {P \leftarrow B, Q \leftarrow S}$ . Untuk kalimat yang memuat P dan Q, interpretasi yang hanya memberi nilai P belum cukup. Simbol tambahan boleh diberi nilai meskipun tidak dipakai. Urutan pasangan dalam himpunan tidak memengaruhi interpretasi. Berdasarkan definisi formal BMP, hindari pengulangan nama simbol pada daftar penetapan, sekalipun nilainya sama.

Jika ada n simbol berbeda, ada $2^{n}$ penetapan benar/salah minimal. Untuk P dan Q, tulis lengkap: (B,B), (B,S), (S,B), (S,S). Daftar ini belum menyatakan kalimat mana yang benar; kita baru menyiapkan keadaan yang mungkin.