Tautologi (logika): Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Dedhert.Jr (bicara | kontrib) sumber diperlukan yah... |
|||
| (7 revisi perantara oleh 4 pengguna tidak ditampilkan) | |||
Baris 1:
{{Tanpa referensi|date=Juli 2022}}
Dalam [[logika matematika]], '''tautologi''' adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Hal ini dapat dibuktikan menggunakan [[tabel kebenaran]] ataupun [[sifat logika|sifat-sifat logika]].▼
▲Dalam [[logika matematika]], '''tautologi''' adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Jadi, tautologi berlawanan dengan [[kontradiksi]]. Hal ini dapat dibuktikan menggunakan [[tabel kebenaran]] ataupun [[sifat logika|sifat-sifat logika]].
Contoh tautologi adalah:
{| class="wikitable" style="text-align:center;"
|- style="background:paleturquoise"
|style="width:30px"|''p''
|style="width:30px"|~''p''
|style="width:60px"|''p'' ∨ ~''p''
|-
|B
|S
|style="background:papayawhip" |'''B'''
|-
|B
|S
|style="background:papayawhip" |'''B'''
|-
|S
|B
|style="background:papayawhip" |'''B'''
|-
|S
|B
|style="background:papayawhip" |'''B'''
|}
{| class="wikitable" style="text-align:center;"
|- style="background:paleturquoise"
Baris 45 ⟶ 70:
|-
|}
Dari tabel di atas, bisa dilihat bahwa apapun nilai kebenaran premis ''p'' dan ''q'', semua pernyataan di atas tetap bernilai benar
== Lihat juga ==
| |||