Tabel Kebenaran Strategi Pembalikan

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