Tautology: Pernyataan Selalu Benar

Halo teman-teman! Apa itu Tautologi? Tautologi adalah pernyataan majemuk yang nilainya selalu benar, atau disimbolkan dengan B, apa pun nilai kebenaran dari pernyataan penyusunnya.

Sekarang perhatikan Aturan Operator Atau yang disimbolkan dengan huruf v. Dalam P atau Q, cukup ada satu saja yang bernilai benar, maka seluruh pernyataan tersebut otomatis menjadi benar.

Kita ambil contoh kasus P atau negasi P. Misalkan P adalah Aal suka bakso, maka negasi P adalah Aal tidak suka bakso. Pernyataannya menjadi: Aal suka bakso atau tidak suka bakso.

Mari kita bedah tabel kebenarannya. Baris pertama, jika P benar dan negasi P salah, hasilnya benar. Baris kedua, jika P salah dan negasi P benar, hasilnya tetap benar karena syarat satu benar sudah terpenuhi.

Karena semua hasilnya adalah benar, maka pernyataan ini adalah tautologi. Ingat, operator atau hanya butuh satu nilai benar, dan dalam kondisi P atau bukan P, pasti ada salah satu yang benar!

Itulah alasan mengapa tautologi selalu menghasilkan nilai benar di setiap baris. Sampai jumpa di pembahasan selanjutnya!