KB 2 — Agreement dan pengaruh substitusi pada nilai
KB 2 — Agreement dan pengaruh substitusi pada nilai
Cerita pengantar — penjelasan tambahan, data simulasi. Hari ini “petugas hadir” dan “guru piket hadir” sama-sama benar. Jika sebuah aturan memakai salah satunya dan kita menukarnya, nilai aturan hari ini dapat tetap sama. Namun besok salah satu orang mungkin tidak hadir, sehingga kesamaan hari ini tidak cukup untuk menjamin kesamaan dalam semua keadaan.
Dari cerita ke notasi dan konsep BMP. Interpretasi yang agree pada simbol-simbol yang diperlukan memberikan nilai yang sama pada kalimat yang dibangun dari simbol itu. Pada interpretasi tetap, mengganti bagian dengan bagian bernilai sama mempertahankan nilai seluruh kalimat proposisional. Bila bagian asal dan pengganti ekuivalen secara logis, kesamaan berlaku pada semua interpretasi bersama. Bila memakai dua interpretasi berbeda, periksa pula kesepakatan pada bagian lain yang tidak diganti.