Logika matematika adalah cabang logika dan matematika yang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika.
Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, teori pembuktian, serta matematika konstruktif. Bidang-bidang ini memiliki hasil dasar logika yang serupa.
Dalam penggunaan logika matematika seringkali ditemukan huruf S dan B atau F dan T. Arti dari keempat huruf tersebut adalah sebagai berikut:
S dan F merupakan dua huruf yang memiliki arti sama dalam logika matematika.
S : Salah
F : False
B dan T merupakan dua huruf yang memiliki arti sama dalam logika matematika.
B : Benar
T : True
Negasi atau juga dikenal dengan "NOT" dalam pemrograman merupakan logika matematika yang berbentuk membalikkan suatu pernyataan. contoh penggunaan negasi adalah sebagai berikut:
x = nilai dari 1 + 1 adalah 2 (Benar)
~x = nilai dari 1 + 1 bukanlah 2 (Salah)
x | ~x |
---|---|
True (Benar) | False (Salah) |
False (Salah) | True (Benar) |
This article uses material from the Wikipedia Bahasa Indonesia article Logika matematika, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Konten tersedia di bawah CC BY-SA 4.0 kecuali dinyatakan lain. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Bahasa Indonesia (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.