TAUTOLOGI

Pengertian Tautologi

Tautologi adalah suatu pernyataan majemuk yang selalu bernilai BENAR (True) untuk setiap kemungkinan nilai kebenaran dari variabel-variabel penyusunnya. Tidak peduli apakah pernyataan asalnya benar atau salah, hasil akhirnya akan selalu benar.

Contoh Tabel Kebenaran Tautologi:

Kita ambil contoh rumus: P ∨ ~P (P atau Bukan P).

P	~P (Negasi P)	P ∨ ~P
T	F	T
F	T	T

Penjelasan:

Baris Pertama: Jika P Benar, maka ~P Salah. Karena menggunakan operator Disjungsi (∨ / ATAU), jika salah satu benar, maka hasilnya BENAR.
Baris Kedua: Jika P Salah, maka ~P Benar. Hasilnya pun tetap BENAR.

Contoh Kalimat:

P : Hari ini hujan.
~P : Hari ini tidak hujan.

P ∨ ~P : "Hari ini hujan ATAU hari ini tidak hujan."
(Pernyataan ini pasti benar, karena tidak mungkin ada kondisi ketiga).