Tabel kebenaran: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
bakal ditambahin lagi |
Tidak ada ringkasan suntingan |
||
Baris 1:
Dalam [[logika matematika]], '''tabel kebenaran''' adalah tabel dalam [[matematika]] yang digunakan untuk melihat nilai kebenaran dari suatu premis/pernyataan. Jika hasil akhir adalah benar semua (dilambangkan B, T, atau 1), maka disebut [[tautologi (logika)|tautologi]]. Sedangkan jika salah semua (S, F, atau 0) disebut [[kontradiksi]]. Premis yang hasil akhirnya gabungan benar dan salah disebut [[kontingensi]].
Operasi yang digunakan adalah negasi, konjungsi, disjungsi inklusif (sering disebut sebagai disjungsi saja), disjungsi eksklusif, implikasi, biimplikasi, atau gabungan dari beberapa atau seluruh operasi di atas.
Jumlah kemungkinan hasil adalah <math>2^n</math>, dimana n adalah jumlah pernyataan dasar yang ada (p, q, r, dsb). Namun, p dan ~p ([[negasi]] p) tidak dihitung sebagai pernyataan yang berbeda.
[[kategori:Logika matematika]]
[[af:Waarheidstabel]]
| |||