Tabel kebenaran: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Tidak ada ringkasan suntingan |
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 |
||
| (40 revisi perantara oleh 18 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):-->
{| class="wikitable" style="margin:1em auto 1em auto; text-align:center;"
|-
Baris 27 ⟶ 26:
|}
Kunci:
{| class="wikitable" style="margin:1em auto 1em auto; text-align:left;"
|-
! || || || || || Nama
|-
| 0 || O''pq'' || xand || ⊥ || salah || [[Kontradiksi]]
|-
| 1 || X''pq'' || NOR || ↓ || || [[Logika NOR]]
|-
| 2 || M''pq'' || Xq || ↚ || || [[Nonimplikasi
|-
| 3 || F''pq'' || N''p'' || '''¬p''' || tidak p || [[Negasi]]
|-
| 4 || L''pq'' || Xp || ↛ || || [[Nonimplikasi (logika)|Nonimplikasi]]
|-
| 5 || G''pq'' || N''q'' || '''¬q''' || tidak q || Negasi
|-
| 6 || J''pq'' || XOR || ⊕ || tidak kedua-duanya || [[Disjungsi eksklusif]]
|-
| 7 || D''pq'' || NAND || ↑ || || [[Logika NAND]]
|-
| 8 || K''pq'' || AND || ∧ || dan || [[Konjungsi (logika)|Konjungsi]]
|-
| 9 || E''pq'' || XNOR || ↔|| [[
|-
| 10 || H''pq'' || '''q''' || || || [[Fungsi proyeksi]]
|-
| 11 || C''pq'' || XNp ||
|-
| 12 || I''pq'' || '''p''' || || || Fungsi proyeksi
|-
| 13 || B''pq'' || XNq ||
|-
| 14 || A''pq'' || OR || ∨ || atau || [[
|-
| 15 || V''pq'' || xnand ||
|}
Operator logikal juga bisa divisualisasikan menggunakan [[diagram Venn]].
== Jenis-jenis operasi pada tabel kebenaran ==
Operasi yang digunakan adalah
# Negasi
Tabel kebenaran untuk '''tidak p''' (juga ditulis '''¬p''', '''Np''', '''Fpq''', or '''~p''') adalah di bawah ini:
{| class="wikitable" style="margin:1em auto; text-align:center;"
|+ '''
|-
! style="width:20%" | ''p''
! style="width:20%" | <span class="texhtml">''¬p''</span>
|-
|
|-
| style="background:papayawhip" |
|}
# Konjungsi
Tabel kebenaran untuk '''p
{| class="wikitable" style="margin:1em auto; text-align:center;"
|+ '''
|-
! style="width:15%" | ''p''
Baris 99 ⟶ 100:
| style="background:papayawhip" | S || B || style="background:papayawhip" | S
|-
| style="background:papayawhip" | S || style="background:papayawhip" | S || style="background:papayawhip" |
|}
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;"
|+ '''
|-
! style="width:15%" | ''p''
Baris 121 ⟶ 124:
|}
# Implikasi▼
Tabel kebenaran untuk '''jika p
{| class="wikitable" style="margin:1em auto; text-align:center;"
|+ '''Logika kesamaan'''
|-
! style="width:15%" | ''p''
! style="width:15%" | ''q''
! style="width:15%" | ''p'' ⇒ ''q''
|-
| B || B || B
|-
| B || style="background:papayawhip" | S || style="background:papayawhip" | S
|-
| style="background:papayawhip" | S || B || B
|-
| 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 jika dan hanya jika q''' (juga ditulis '''p ↔ q''', '''Epq''', '''p = q''', or '''p ≡ q''') adalah di bawah ini:
{| class="wikitable" style="margin:1em auto; text-align:center;"
|+ '''
|-
! style="width:15%" | ''p''
Baris 139 ⟶ 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;"
|+ '''
|-
! style="width:15%" | ''p''
Baris 159 ⟶ 185:
|}
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.▼
▲# Implikasi
== 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}}
▲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]]
| |||