Tautologi (logika): Perbedaan antara revisi
Konten dihapus Konten ditambahkan
←Membuat halaman berisi 'Dalam logika matematika, '''tautologi''' adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Hal ini dapat dibuktikan menggunakan [[tabel ke...' |
(Tidak ada perbedaan)
|
Revisi per 7 Juni 2011 09.21
Dalam logika matematika, tautologi adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Hal ini dapat dibuktikan menggunakan tabel kebenaran ataupun sifat-sifat logika.
Contoh tautologi adalah:
| 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, pernyataan di atas tetap bernilai benar semua, sehingga digolongkan sebagai tautologi.