Wikipedia

Tabel kebenaran: Perbedaan antara revisi

Jelajahi riwayat secara interaktif
Konten dihapus Konten ditambahkan
VisualTeks wiki
MkUltra (bicara | kontrib)
48 suntingan
bakal ditambahin lagi
 
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
 
(47 revisi perantara oleh 23 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 Bilangan Boullean ==
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.
=== Tabel kebenaran untuk semua logikal operasi bilangan boullean ===
<!--
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;"
|-
! ''P'' || ''Q''
|
! &nbsp;0&nbsp; || &nbsp;1&nbsp; || &nbsp;2&nbsp; || &nbsp;3&nbsp; || &nbsp;4&nbsp; || &nbsp;5&nbsp; || &nbsp;6&nbsp; || &nbsp;7&nbsp;
|
!| &nbsp;8&nbsp; || &nbsp;9&nbsp; || 10 || 11 || 12 || 13 || 14 || 15
|-
! T || T
| || F || F || F || F || F || F || F || F || || T || T || T || T || T || T || T || T
|-
! T || F
| || F || F || F || F || T || T || T || T || || F || F || F || F || T || T || T || T
|-
! F || T
| || F || F || T || T || F || F || T || T || || F || F || T || T || F || F || T || T
|-
! F || F
| || F || T || F || T || F || T || F || T || || F || T || F || T || F || T || F || T
|}
 
dimana T = benar dan F = salah.
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]]
Kunci:
[[af:Waarheidstabel]]
{| class="wikitable" style="margin:1em auto 1em auto; text-align:left;"
[[ca:Taula de veritat]]
|-
[[cs:Pravdivostní tabulka]]
! || || || || || Nama opera
[[da:Sandhedstabel]]
|-
[[de:Wahrheitstabelle]]
| 0 || O''pq'' || xand || ⊥ || salah || [[Kontradiksi]]
[[en:Truth table]]
|-
[[et:Tõeväärtustabel]]
| 1 || X''pq'' || NOR || ↓ || || [[Logika NOR]]
[[es:Tabla de verdad]]
|-
[[eo:Vertabelo]]
| 2 || M''pq'' || Xq || ↚ || || [[Nonimplikasi berlawanan]]
[[fa:جدول درستی و نادرستی]]
|-
[[fr:Table de vérité]]
| 3 || F''pq'' || N''p'' || '''¬p''' || tidak p || [[Negasi]]
[[ko:진리표]]
|-
[[it:Tabella della verità]]
| 4 || L''pq'' || Xp || ↛ || || [[Nonimplikasi (logika)|Nonimplikasi]]
[[he:טבלת אמת]]
|-
[[la:Ratio propositionum]]
| 5 || G''pq'' || N''q'' || '''¬q''' || tidak q || Negasi
[[mk:Таблица на вистинитост]]
|-
[[nl:Waarheidstabel]]
| 6 || J''pq'' || XOR || ⊕ || tidak kedua-duanya || [[Disjungsi eksklusif]]
[[ja:真理値表]]
|-
[[no:Sannhetstabell]]
| 7 || D''pq'' || NAND || ↑ || || [[Logika NAND]]
[[pl:Tablica prawdy]]
|-
[[pt:Tabela verdade]]
| 8 || K''pq'' || AND || ∧ || dan || [[Konjungsi (logika)|Konjungsi]]
[[ru:Таблица истинности]]
|-
[[si:සත්‍යතා වගුව]]
| 9 || E''pq'' || XNOR || ↔|| [[Jika dan hanya jika]] || [[Bikondisional]]
[[sk:Pravdivostná tabuľka]]
|-
[[sv:Sanningsvärdetabell]]
| 10 || H''pq'' || '''q''' || || || [[Fungsi proyeksi]]
[[th:ตารางค่าความจริง]]
|-
[[uk:Таблиці істинності]]
| 11 || C''pq'' || XNp || → || jika p maka q || [[Implikasi (logika)|Implikasi]]
[[zh:真值表]]
|-
| 12 || I''pq'' || '''p''' || || || Fungsi proyeksi
|-
| 13 || B''pq'' || XNq || ← || maka p jika q || [[Implikasi berlawanan]]
|-
| 14 || A''pq'' || OR || ∨ || atau || [[Disjungsi inklusif]]
|-
| 15 || V''pq'' || xnand || ⊤ || benar || [[Tautologi (matematika)|Tautologi]]
|}
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;"
|+ '''Logika negasi'''
|-
! style="width:20%" | ''p''
! style="width:20%" | <span class="texhtml">''¬p''</span>
|-
| B || style="background:papayawhip" | S
|-
| style="background:papayawhip" | S || B
|}
 
# Konjungsi
Tabel kebenaran untuk '''p dan q''' (juga ditulis '''p ∧ q''', '''Kpq''', '''p & q''', atau '''p''' <math>\cdot</math> '''q''') adalah di bawah ini:
 
{| class="wikitable" style="margin:1em auto; text-align:center;"
|+ '''Logika konjungsi'''
|-
! 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 || style="background:papayawhip" | S
|-
| 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 atau q''' (juga ditulis '''p ∨ q''', '''Apq''', '''p || q''', or '''p + q''') adalah di bawah ini:
 
{| class="wikitable" style="margin:1em auto; text-align:center;"
|+ '''Logika Disjungsi'''
|-
! style="width:15%" | ''p''
! style="width:15%" | ''q''
! style="width:15%" | ''p'' ∨ ''q''
|-
| B || B || B
|-
| B || style="background:papayawhip" | S || B
|-
| style="background:papayawhip" | S || B || B
|-
| style="background:papayawhip" | S || style="background:papayawhip" | S || style="background:papayawhip" | S
|}
 
# Implikasi
Tabel kebenaran untuk '''jika p maka q''' (juga ditulis '''p → q''', '''Cpq''', '''p ⇒ q''') adalah di bawah ini:
 
{| 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;"
|+ '''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 || style="background:papayawhip" | S
|-
| 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 atau q''' (juga ditulis '''p ⊕ q''', '''Jpq''', or '''p ≠ q''') adalah di bawah ini:
 
{| class="wikitable" style="margin:1em auto; text-align:center;"
|+ '''Disjungsi eksklusif'''
|-
! style="width:15%" | ''p''
! style="width:15%" | ''q''
! style="width:15%" | ''p'' ⊕ ''q''
|-
| B || B || style="background:papayawhip" | S
|-
| B || style="background:papayawhip" | S || B
|-
| style="background:papayawhip" | S || B || B
|-
| style="background:papayawhip" | S || style="background:papayawhip" | S || style="background:papayawhip" | S
|}
 
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]]
Diperoleh dari "https://wiki-indonesia.club/wiki/Tabel_kebenaran"