KB 2 — Tabel kebenaran dan urutan menghitung

KB 2 — Tabel kebenaran dan urutan menghitung

Kembali ke bagian induk

Cerita pengantar — penjelasan tambahan, data simulasi. Pengurus ingin mengetahui apakah aturan masuk akal untuk setiap keadaan, termasuk ketika petugas tidak hadir. Mencoba satu keadaan belum cukup. Untuk dua catatan benar/salah, buat empat baris sehingga tidak ada kemungkinan yang terlewat.

Dari cerita ke notasi dan konsep BMP. Pada kalimat P⇒Q, empat hasilnya adalah B,S,B,B sesuai urutan tabel di atas. Untuk kalimat panjang, buat kolom atom, lalu bagian terkecil, lalu bagian yang memakainya, sampai kalimat utuh. Tiga atom memerlukan 8 baris; empat atom memerlukan 16 baris.

Contoh ¬P∨Q mempunyai hasil B,S,B,B juga. Karena hasilnya sama pada semua empat baris, kita memperoleh

P⇒Q≡¬P∨Q.

Kesamaan pada beberapa baris saja belum cukup untuk membuktikan ekuivalensi.

Hubungan materi

Enter your search text in the box above

Select a result to preview