Contoh Soal Strategi
Pembalikan:
Harga gula turun jika
impor gula naik. Pabrik gula tidak senang jika harga gula turun. Impor gula
naik. Pabrik gula senang.
Konsistensi dapat
dibuktikan dengan membuat pernyataan menjadi ekspresi logika dan dibuktikan
melalui tabel kebenaran :
Langkah 1 :
mengubah kevariabel
proposisional
A = harga gula turun.
B = impor gula naik.
C = pabrik gula senang.
Langkah 2 :
mengubah pernyataan
menjadi ekspresi logika
A -> B
B -> -C
A
C
Langkah 3 :
menyusun ekspresi
logika menjadi satu kesatuan
(A->B)^(B->-C)^A^C
Langkah 4 :
membuat tabel kebenaran
Karena kesatuan
ekspresi logika bernilai F semua maka dapat dipastikan pernyataan tersebut
tidak konsisten.
Tabel Kebenaran
