Loading AI tools
cabang ilmu matematika Dari Wikipedia, ensiklopedia bebas
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.[1] 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.
Bagian dari seri |
Ilmu Pengetahuan |
---|
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) |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.