Tabel kebenaran: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k Mengembalikan suntingan oleh 182.1.179.167 (bicara) ke revisi terakhir oleh Akuindo Tag: Pengembalian Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan |
|||
| (14 revisi perantara oleh 10 pengguna tidak ditampilkan) | |||
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
=== Tabel kebenaran untuk semua logikal operasi
<!--
Here is a truth table giving definitions of all 16 of the possible truth functions of 2 binary variables (P,Q are thus boolean variables):-->
Baris 26:
|}
dimana T = benar
Kunci:
Baris 51:
| 8 || K''pq'' || AND || ∧ || dan || [[Konjungsi (logika)|Konjungsi]]
|-
| 9 || E''pq'' || XNOR || ↔|| [[Jika dan hanya jika]] || [[Bikondisional]]
|-
| 10 || H''pq'' || '''q''' || || || [[Fungsi proyeksi]]
Baris 71:
# Negasi
Tabel kebenaran untuk '''
{| class="wikitable" style="margin:1em auto; text-align:center;"
Baris 85:
# Konjungsi
Tabel kebenaran untuk '''p
{| class="wikitable" style="margin:1em auto; text-align:center;"
Baris 102:
| style="background:papayawhip" | S || style="background:papayawhip" | S || style="background:papayawhip" | S
|}
nama lain selain dan yaitu tetapi, walaupun atau meskipun.
# Disjungsi inklusif (sering disebut sebagai disjungsi saja)
Tabel kebenaran untuk '''p
{| class="wikitable" style="margin:1em auto; text-align:center;"
Baris 122 ⟶ 124:
|}
# Implikasi
Tabel kebenaran untuk '''
{| class="wikitable" style="margin:1em auto; text-align:center;"
Baris 140 ⟶ 142:
| style="background:papayawhip" | S || style="background:papayawhip" | S || B
|}
nama lain selain jika A maka B yaitu A hanya jika B, B jika A, A syarat cukup bagi B, B syarat perlu bagi A, A mengakibatkan B atau B menurut A.
# Kesamaan atau Bikondisional (sering disebut sebagai biimplikasi saja)
Tabel kebenaran untuk '''p
{| class="wikitable" style="margin:1em auto; text-align:center;"
Baris 159 ⟶ 163:
| style="background:papayawhip" | S || style="background:papayawhip" | S || B
|}
nama lain selain A jika dan hanya jika B yaitu jika A maka B dan jika B maka A atau A syarat cukup dan perlu bagi B.
# Disjungsi eksklusif
Tabel kebenaran untuk '''tidak kedua-duanya p
{| class="wikitable" style="margin:1em auto; text-align:center;"
Baris 180 ⟶ 186:
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.
== Bacaan lebih lanjut ==
* {{cite book|last= Kurnianingsih|first= Sri|authorlink=|coauthors=Kuntarti, Sulistiyono|title=Matematika SMA dan MA 1B Untuk Kelas X Semester 2|year= 2007|publisher= Esis/Erlangga|location= Jakarta|id= ISBN 979-734-501-7 }} {{id icon}}
[[Kategori:Logika matematika]]
| |||