KB 2 — Sifat satu kalimat

Kembali ke bagian induk

Cerita pengantar — penjelasan tambahan, data simulasi. Pengurus membandingkan tiga tulisan: “Koperasi buka atau tidak buka”, “Koperasi buka dan tidak buka”, serta “Koperasi buka”. Tulisan pertama benar dalam kedua keadaan. Tulisan kedua tidak mungkin benar. Tulisan ketiga benar ketika buka dan salah ketika tutup.

Dari cerita ke notasi dan konsep BMP.

Sifat	Arti	Bukti yang cukup
Valid	Benar pada setiap interpretasi	Semua baris/daun benar, atau pembuktian umum
Satisfiable	Benar pada setidaknya satu interpretasi	Satu interpretasi yang membuat benar
Contradictory	Salah pada setiap interpretasi	Tidak ada interpretasi yang membuat benar
Kontingen — istilah tambahan	Ada keadaan benar dan ada keadaan salah	Satu contoh untuk masing-masing nilai

$P \lor \neg P$ valid; $P \land \neg P$ contradictory; P kontingen. Kalimat valid juga satisfiable. Satisfiable tidak berarti valid. “Tidak valid” berarti ada contoh penyangkal, bukan berarti selalu salah.