KB 2 — Interpretasi yang diperluas

Kembali ke bagian induk

Cerita pengantar — penjelasan tambahan, data simulasi. Pagi hari pengurus mencatat P=B dan Q=S. Siang hari petugas hadir sehingga Q berubah menjadi B, sedangkan keadaan P tetap. Pengurus cukup memperbarui Q. Bila ada pembaruan berulang untuk Q, kita perlu tahu urutan penerapannya.

Dari cerita ke notasi dan konsep BMP. $⟨ Q \leftarrow B ⟩ ∙ I$ berarti ambil I, ganti atau tambahkan nilai Q menjadi B, dan pertahankan pasangan lain. Pada komposisi, bagian paling kanan bekerja lebih dahulu:

J = ⟨ Q \leftarrow S ⟩ ∙ ⟨ Q \leftarrow B ⟩ ∙ I .

Mulai dari I, tetapkan Q=B, lalu Q=S. Nilai akhir Q adalah S. Dua pembaruan untuk simbol berbeda dapat dipertukarkan; pembaruan untuk simbol yang sama belum tentu dapat dipertukarkan.

Hubungan materi

KB 1 — Aturan semantik konektif
KB 2 — Tabel kebenaran dan urutan menghitung
Hubungan konsep: Modul 3
Hubungan konsep: Modul 7