ENSIKLOPEDIA Cari Tekan Enter untuk memulai pencarian cepat. Kembali ke Ensiklopedia Arsip Wikipedia Indonesia Tautologi (logika) Tautologi (logika)Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: "Tautologi" logika – berita · surat kabar · buku · cendekiawan · JSTOR Dalam logika matematika, tautologi adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Jadi, tautologi berlawanan dengan kontradiksi. Hal ini dapat dibuktikan menggunakan tabel kebenaran ataupun sifat-sifat logika. Contoh tautologi adalah: p ~p p ∨ ~p B S B B S B S B B S B B p q ~p ~q p → q (p → q) ∧ ~q [(p → q) ∧ ~q] → ~p B B S S B S B B S S B S S B S B B S B S B S S B B B B B Dari tabel di atas, bisa dilihat bahwa apapun nilai kebenaran premis p dan q, semua pernyataan di atas tetap bernilai benar, sehingga di-golongkan sebagai "Tautologi". Lihat juga Kontradiksi Kontingensi Basis data pengawasan otoritas InternasionalGNDNasionalRepublik Ceko
