Tautology: Logika P atau Tidak P

Halo semuanya! Mari kita mengenal tautologi. Tautologi adalah pernyataan majemuk yang selalu bernilai benar atau true, apa pun nilai kebenaran komponen penyusunnya.

Perhatikan pernyataan khusus berikut ini, yaitu pe atau negasi pe. Pernyataan ini dibaca sebagai pe atau bukan pe.

Sebagai contoh sederhana, jika pe adalah hari ini hujan, maka negasi pe adalah hari ini tidak hujan. Di antara keduanya, salah satu pasti benar!

Mari kita lihat pembuktian tabel kebenaran. Jika pe benar, maka negasi pe salah, hasilnya benar. Jika pe salah, negasi pe benar, hasilnya tetap benar. Jadi, seluruh hasil adalah benar.

Kesimpulannya, pe atau negasi pe ekuivalen dengan benar. Karena hasilnya selalu benar, maka pernyataan ini disebut sebagai tautologi.

Itulah alasan mengapa pernyataan ini selalu benar. Sampai jumpa di materi berikutnya!